Metadata-Version: 2.4
Name: leancode
Version: 0.1.0
Summary: Formally verified AI code generation: natural language -> code + proof -> verified binary
Project-URL: Homepage, https://github.com/sushaan-k/leancode
Project-URL: Documentation, https://github.com/sushaan-k/leancode#readme
Project-URL: Repository, https://github.com/sushaan-k/leancode
Project-URL: Issues, https://github.com/sushaan-k/leancode/issues
Author-email: Sushaan Kandukoori <sushaan@users.noreply.github.com>
License-Expression: MIT
License-File: LICENSE
Keywords: ai,code-generation,dafny,formal-verification,lean4,llm,proof-assistant
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Software Development :: Code Generators
Classifier: Typing :: Typed
Requires-Python: >=3.11
Requires-Dist: click<9.0,>=8.0
Requires-Dist: httpx<1.0,>=0.27
Requires-Dist: pydantic<3.0,>=2.0
Requires-Dist: pyyaml<7.0,>=6.0
Requires-Dist: rich<14.0,>=13.0
Requires-Dist: structlog<26.0,>=24.0
Provides-Extra: all
Requires-Dist: vericode[anthropic,openai]; extra == 'all'
Provides-Extra: anthropic
Requires-Dist: anthropic<1.0,>=0.40; extra == 'anthropic'
Provides-Extra: dev
Requires-Dist: mypy<2.0,>=1.13; extra == 'dev'
Requires-Dist: pytest-asyncio<1.0,>=0.24; extra == 'dev'
Requires-Dist: pytest-cov<7.0,>=5.0; extra == 'dev'
Requires-Dist: pytest<9.0,>=8.0; extra == 'dev'
Requires-Dist: respx<1.0,>=0.22; extra == 'dev'
Requires-Dist: ruff<1.0,>=0.8; extra == 'dev'
Provides-Extra: openai
Requires-Dist: openai<2.0,>=1.50; extra == 'openai'
Description-Content-Type: text/markdown

# leancode

Formally verified AI code generation — natural language to proven-correct code via Lean 4 / Dafny.

See [documentation](https://github.com/sushaan-k/vericode) for full details.
