open-verification-kernel/pyproject.toml at main · fraware/open-verification-kernel · 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
[project]
name = "open-verification-kernel"
version = "1.3.0-rc.1"
description = "Solver-agnostic verification kernel for AI-agent engineering workflows"
readme = "README.md"
requires-python = ">=3.10"
license = { file = "LICENSE" }
authors = [
  { name = "Open Verification Kernel Contributors" }
]
keywords = ["verification", "formal-methods", "ai-agents", "ci", "security"]
classifiers = [
  "Development Status :: 4 - Beta",
  "Intended Audience :: Developers",
  "Programming Language :: Python :: 3",
  "Programming Language :: Python :: 3.10",
  "Programming Language :: Python :: 3.11",
  "Programming Language :: Python :: 3.12",
  "Topic :: Security",
  "Topic :: Software Development :: Quality Assurance",
]
dependencies = [
  "jsonschema>=4.22.0",
  "typer>=0.12.0",
  "pydantic>=2.7.0",
  "pyyaml>=6.0.0",
]

[project.urls]
Homepage = "https://github.com/fraware/open-verification-kernel"
Documentation = "https://github.com/fraware/open-verification-kernel/tree/main/docs"
Repository = "https://github.com/fraware/open-verification-kernel"

[project.optional-dependencies]
dev = [
  "pytest>=8.3.0,<9",
  "ruff>=0.5.0"
]
solvers = [
  "z3-solver>=4.13.0"
]
mcp = [
  "mcp>=1.0.0"
]
backends-wave1 = []
backends-wave2 = []
all = [
  "z3-solver>=4.13.0",
  "mcp>=1.0.0"
]

[project.scripts]
ovk = "ovk.cli:app"
ovk-mcp = "ovk.mcp_stdio:main"
ovk-mcp-legacy = "ovk.mcp_stdio:serve_stdio"

[build-system]
requires = ["setuptools>=77.0.0"]
build-backend = "setuptools.build_meta"

[tool.setuptools]
include-package-data = true

[tool.setuptools.packages.find]
include = ["ovk*"]

[tool.setuptools.package-data]
ovk = ["package_data/**/*"]

[tool.ruff]
line-length = 120

[tool.ruff.lint]
# Keep the blocking CI contract explicit so linter default expansion cannot
# silently redefine the repository's required static-analysis policy.
select = ["E4", "E7", "E9", "F"]

[tool.ruff.lint.per-file-ignores]
# These names are exported lazily through module-level __getattr__ to break an
# import cycle; runtime import tests cover the public surface.
"ovk/core/execution_budget.py" = ["F822"]

[tool.pytest.ini_options]
testpaths = ["tests"]
pythonpath = [".", "integrations/github-app"]
markers = [
  "native_backend(name): native backend integration probe by backend name",
]