pyproject.toml
src/milp_flare/__init__.py
src/milp_flare/__main__.py
src/milp_flare/_assets.py
src/milp_flare/_llm.py
src/milp_flare/_result.py
src/milp_flare/agent_prompt.j2
src/milp_flare/flare.py
src/milp_flare/prompts.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/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/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/opencode.py
src/milp_flare/harness/agent_commands/claude_code_agent.sh
src/milp_flare/harness/agent_commands/codex_agent.sh
src/milp_flare/harness/agent_commands/opencode_agent.sh
tests/test_docker.py
tests/test_flare_verifier.py