PyPI page
Home page
Author:
Punt Labs
Summary:
Z specification toolkit: type-checker, model-checker, and Claude Code plugin
Latest version:
0.14.1
Required dependencies:
mcp
|
punt-lux
|
typer
Optional dependencies:
mypy
|
pyright
|
pytest
|
pytest-cov
|
ruff
Downloads last day:
0
Downloads last week:
13
Downloads last month:
26