PyPI page
Home page
Author:
Dan
License:
Apache License
Version 2.0, January 2004
http://www.apache.org/licenses/
TERMS AND CONDITIONS FOR USE, REPRODUCTI...
Summary:
Static soundness analyzer for o1js / Mina zkApps and Noir circuits
Latest version:
0.22.0
Optional dependencies:
mcp
|
pytest
|
pyyaml
|
ruff
Downloads last day:
3
Downloads last week:
74
Downloads last month:
631
7-day smoothing