Skip to main content

Documentation Index

Fetch the complete documentation index at: https://mintlify.com/whitiue/logiMathApp/llms.txt

Use this file to discover all available pages before exploring further.

Before you can run LogiMath, you need a few tools installed on your machine. The recommended path uses Docker and Docker Compose to manage the backend and database as containers, so you don’t need a local PostgreSQL installation. If you prefer to run services directly, you need Python 3.9 or later and a PostgreSQL database available locally.

Required software

Environment file setup

LogiMath reads configuration from a .env file in the project root. The repository includes .env.example with all required variables:
# PostgreSQL
POSTGRES_USER=logmath_user
POSTGRES_PASSWORD=logmath_pass_change_me_in_production
POSTGRES_DB=logmath_db

# Backend
DATABASE_URL=postgresql://logmath_user:logmath_pass_change_me_in_production@postgres:5432/logmath_db
API_HOST=0.0.0.0
API_PORT=8000
Copy it to create your local configuration:
cp .env.example .env
Then update at least POSTGRES_PASSWORD with a value you choose. The DATABASE_URL uses postgres as the hostname because that is the service name defined in docker-compose.yml — do not change this hostname when running with Docker.
Never commit your .env file to version control. It is listed in .gitignore by default. Keep credentials out of the repository.

Build docs developers (and LLMs) love