@loopyc/verify
MITDry-run verification (bounded-under-caps + replay-determinism) and scorecard grading for LoopSpecs, plus a codegen-free spec interpreter.
100
Security score
0 known advisories in v0.8.0
Weekly downloads
—
Unpacked size
20.2 kB
Dependencies
2
Last publish
4 days ago
Security advisories
No known vulnerabilities affect v0.8.0.