17 lines
350 B
TOML
17 lines
350 B
TOML
[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*"]
|