[build-system]
requires = ["setuptools>=61.0", "wheel"]
build-backend = "setuptools.build_meta"
[project]
name = "aare-mcp"
version = "0.1.0"
description = "MCP server for aare-core Z3 SMT verification"
readme = "README.md"
license = {text = "MIT"}
requires-python = ">=3.10"
authors = [
{ name = "aare.ai" }
]
keywords = ["mcp", "z3", "smt", "verification", "llm", "compliance"]
classifiers = [
"Development Status :: 3 - Alpha",
"Intended Audience :: Developers",
"License :: OSI Approved :: MIT License",
"Programming Language :: Python :: 3",
"Programming Language :: Python :: 3.10",
"Programming Language :: Python :: 3.11",
"Programming Language :: Python :: 3.12",
]
dependencies = [
"mcp>=1.0.0",
"aare-core>=0.2.0",
]
[project.optional-dependencies]
dev = [
"pytest>=7.0.0",
]
[project.scripts]
aare-mcp = "aare_mcp.server:main"
[project.urls]
Homepage = "https://aare.ai"
Repository = "https://github.com/aare-ai/aare-mcp"
[tool.setuptools.packages.find]
where = ["src"]
