| # statement-to-tikz | |
| > Olympiad geometry statement → formal GeometryIR → SciPy constraint solve → verified TikZ diagram (exact or schematic). | |
| ## Summary | |
| Training-free neuro-symbolic pipeline for plane Euclidean contest figures. An LLM (or offline patterns) formalizes text into typed constraints; a numeric solver computes coordinates; TikZ is emitted deterministically and checked by residuals + optional LaTeX compile. | |
| Related ideas: MagicGeo, FormalGeo, AutomaTikZ — this repo focuses on a small, testable IR + SciPy solver + CLI. | |
| ## Install | |
| ```bash | |
| pip install -e ".[dev]" | |
| # CLI entry point: stt | |
| ``` | |
| ## Usage | |
| ```bash | |
| stt "Equilateral triangle ABC with side length 1." -o out/eq | |
| stt --ir tests/fixtures/equilateral.json --emit-only -o out/eq | |
| ``` | |
| ## Modes | |
| - `exact` — constraints satisfied within tolerance | |
| - `schematic` — underconstrained or conflicting; labeled incidence layout | |
| ## Docs for humans / agents | |
| - README.md — user guide | |
| - AGENTS.md — agent-oriented map of the codebase | |
| - llms.txt — machine-readable project brief | |
| ## Keywords | |
| geometry, olympiad, IMO, TikZ, LaTeX, constraint solver, formalization, diagram generation, SciPy, Pydantic | |