LICENSE.md
README.md
pyproject.toml
src/milp_flare/__init__.py
src/milp_flare/__main__.py
src/milp_flare/_assets.py
src/milp_flare/_prompts.py
src/milp_flare/flare.py
src/milp_flare/flare_nl.py
src/milp_flare/py.typed
src/milp_flare.egg-info/PKG-INFO
src/milp_flare.egg-info/SOURCES.txt
src/milp_flare.egg-info/dependency_links.txt
src/milp_flare.egg-info/entry_points.txt
src/milp_flare.egg-info/requires.txt
src/milp_flare.egg-info/top_level.txt
src/milp_flare/assets/configs/mcp.json
src/milp_flare/assets/docker/Dockerfile
src/milp_flare/assets/docker/entrypoint.sh
src/milp_flare/assets/lean/Common.lean
src/milp_flare/assets/lean/lake-manifest.json
src/milp_flare/assets/lean/lakefile.toml
src/milp_flare/assets/lean/lean-toolchain
src/milp_flare/assets/prompts/flare_agent.j2
src/milp_flare/assets/prompts/flare_nl.j2
src/milp_flare/assets/scripts/claude_code_agent.sh
src/milp_flare/assets/scripts/codex_agent.sh
src/milp_flare/assets/scripts/opencode_agent.sh
src/milp_flare/assets/skills/lean-milp-formulation/SKILL.md
src/milp_flare/assets/skills/lean-milp-formulation/template.lean
src/milp_flare/assets/skills/lean-milp-reformulation/SKILL.md
src/milp_flare/assets/skills/lean-milp-reformulation/template.lean
src/milp_flare/harness/__init__.py
src/milp_flare/harness/base.py
src/milp_flare/harness/claude_code.py
src/milp_flare/harness/codex.py
src/milp_flare/harness/cost.py
src/milp_flare/harness/opencode.py
tests/test_docker.py
tests/test_flare_verifier.py