[build-system]
requires = ["setuptools>=68"]
build-backend = "setuptools.build_meta"

[project]
name = "lean-agent"
version = "0.1.0"
requires-python = ">=3.11"
description = "Provider-independent Lean reasoning agent"
dependencies = []

[project.scripts]
lean-agent = "lean_agent.cli:main"

[tool.setuptools.packages.find]
include = ["lean_agent*"]