Metadata-Version: 2.4
Name: open-atp
Version: 0.1.0
Summary: Open Automated Formal Proof Synthesis: upload Lean files with sorrys, get verified completed proofs across multiple proving backends.
License-File: LICENSE
Requires-Python: >=3.12
Requires-Dist: anthropic>=0.75.0
Requires-Dist: aristotlelib
Requires-Dist: google-genai>=1.44.0
Requires-Dist: jinja2>=3.1
Requires-Dist: lean-explore>=1.2.1
Requires-Dist: modal>=1.5
Requires-Dist: openai>=2.7.1
Provides-Extra: dev
Requires-Dist: mypy; extra == 'dev'
Requires-Dist: pytest; extra == 'dev'
Requires-Dist: pytest-cov; extra == 'dev'
Requires-Dist: pytest-xdist>=3.5; extra == 'dev'
Requires-Dist: python-dotenv; extra == 'dev'
Requires-Dist: ruff; extra == 'dev'
Provides-Extra: docs
Requires-Dist: furo; extra == 'docs'
Requires-Dist: myst-parser>=3; extra == 'docs'
Requires-Dist: numpydoc; extra == 'docs'
Requires-Dist: sphinx-autobuild; extra == 'docs'
Requires-Dist: sphinx-autodoc-typehints; extra == 'docs'
Requires-Dist: sphinx-design; extra == 'docs'
Requires-Dist: sphinx>=7; extra == 'docs'
