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