spec-driven-ai-coder/pyproject.toml at main · Accelnorm/spec-driven-ai-coder · 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
[build-system]
requires = ["setuptools>=61.0", "wheel"]
build-backend = "setuptools.build_meta"

[project]
name = "ai-composer"
version = "0.1.0"
description = "AIComposer - a tool for generating verified implementations from documentation and CVL specifications"
readme = "README.md"
requires-python = ">=3.8"
license = {text = "MIT"}
authors = [
    {name = "Certora Ltd."}
]

dependencies = [
    "langchain-core==0.3.79",
    "langchain==0.3.27",
    "langchain-anthropic==0.3.21",
    "langchain-community==0.3.29",
    "langchain-text-splitters==0.3.11",
    "langgraph-sdk==0.2.6",
    "langgraph==0.6.7",
    "psycopg==3.2.12",
    "psycopg-binary==3.2.12",
    "sentence-transformers==5.1.0",
    "torch==2.8.0",
    "transformers==4.56.0",
    "numpy==2.3.2",
    "pydantic==2.11.7",
    "pydantic-settings==2.10.1",
]

[project.scripts]
cex-analyzer = "analyzer.analysis:main"

[tool.setuptools.packages.find]
include = ["analyzer*", "composer*"]

[tool.setuptools.package-dir]
"" = "."

[tool.setuptools.package-data]
composer = ["templates/*.j2"]