# 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