ProofPartner/pyproject.toml at master · crqu/ProofPartner · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[project]
name = "agentic-research"
version = "0.1.0"
description = "Agentic Mathematical Research Partner — transforms rough mathematical ideas into formal Lean 4 conjectures and proofs"
readme = "README.md"
license = "MIT"
requires-python = ">=3.11"
dependencies = [
    "anthropic>=0.39.0,<1.0",
    "pydantic>=2.0.0,<3.0",
    "click>=8.1.0,<9.0",
    "structlog>=24.0.0,<25.0",
    "rich>=13.0.0,<14.0",
]

[project.optional-dependencies]
dev = [
    "pytest>=8.0.0",
    "pytest-asyncio>=0.24.0",
    "pytest-cov>=6.0.0",
    "mypy>=1.14.0",
]
vertex = [
    "anthropic[vertex]>=0.39.0",
]
lean = [
    "lean-dojo>=2.1.0",
]
google = [
    "google-genai>=1.0",
]
paper = [
    "pymupdf>=1.24",
]

[project.scripts]
agentic-research = "agentic_research.cli.main:cli"

[tool.mypy]
python_version = "3.11"
warn_return_any = true
warn_unused_configs = true
check_untyped_defs = true

[[tool.mypy.overrides]]
module = ["lean_dojo.*", "openai.*", "anthropic.*", "rich.*", "google.*"]
ignore_missing_imports = true

[tool.pytest.ini_options]
testpaths = ["tests"]
pythonpath = ["."]
markers = [
    "lean_required: requires Lean 4 to be installed",
]