leancode/pyproject.toml at main · sushaan-k/leancode · 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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[project]
name = "vericode"
version = "0.1.0"
description = "Formally verified AI code generation: natural language -> code + proof -> verified binary"
readme = "README.md"
license = "MIT"
requires-python = ">=3.11"
authors = [
    { name = "Sushaan Kandukoori", email = "sushaan@users.noreply.github.com" },
]
keywords = [
    "formal-verification",
    "ai",
    "code-generation",
    "lean4",
    "dafny",
    "proof-assistant",
    "llm",
]
classifiers = [
    "Development Status :: 3 - Alpha",
    "Intended Audience :: Developers",
    "License :: OSI Approved :: MIT License",
    "Programming Language :: Python :: 3",
    "Programming Language :: Python :: 3.11",
    "Programming Language :: Python :: 3.12",
    "Topic :: Software Development :: Code Generators",
    "Topic :: Scientific/Engineering :: Artificial Intelligence",
    "Typing :: Typed",
]
dependencies = [
    "pydantic>=2.0,<3.0",
    "click>=8.0,<9.0",
    "httpx>=0.27,<1.0",
    "pyyaml>=6.0,<7.0",
    "rich>=13.0,<14.0",
    "structlog>=24.0,<26.0",
    "anyio>=4.0,<5.0",
]

[project.optional-dependencies]
anthropic = ["anthropic>=0.40,<1.0"]
openai = ["openai>=1.50,<2.0"]
all = ["vericode[anthropic,openai]"]
dev = [
    "pytest>=8.0,<9.0",
    "pytest-asyncio>=0.24,<1.0",
    "pytest-cov>=5.0,<7.0",
    "pytest-mock>=3.14",
    "ruff>=0.8,<1.0",
    "mypy>=1.13,<2.0",
    "respx>=0.22,<1.0",
    "types-PyYAML>=6.0",
]

[project.scripts]
vericode = "vericode.cli:main"

[project.urls]
Homepage = "https://github.com/sushaan-k/vericode"
Documentation = "https://github.com/sushaan-k/vericode#readme"
Repository = "https://github.com/sushaan-k/vericode"
Issues = "https://github.com/sushaan-k/vericode/issues"

[tool.hatch.build.targets.wheel]
packages = ["src/vericode"]

[tool.ruff]
target-version = "py311"
line-length = 88
src = ["src"]

[tool.ruff.lint]
select = [
    "E",
    "F",
    "W",
    "I",
    "N",
    "UP",
    "B",
    "SIM",
    "TCH",
    "RUF",
]
ignore = [
    "E501",
    "B008",
    "UP007",
    "TC001",
    "TC003",
    "SIM108",
]

[tool.ruff.lint.isort]
known-first-party = ["vericode"]

[tool.pytest.ini_options]
testpaths = ["tests"]
asyncio_mode = "auto"
markers = [
    "integration: marks tests as integration tests",
]

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

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