Loads cleanly: valid frontmatter, required fields present, no dangling references.
Maintained
25% of the score
100/100
no commits in the last 12 weeks
repo is less than two weeks old
Adopted
20% of the score
22/100
39 stars on the source repo.
Documented
15% of the score
55/100
No usage example or code block.
822-word body.
Loads cleanly. Every structural check Claude Code needs to register this passed. Last commit 3 days ago.
What it says it does
ZK proof-verifier contract specialist. Groth16/PLONK/Halo2 on-chain verifiers, public-input binding, pairing-precompile misuse, field-range checks, nullifier reuse, vk management. Use on any contract that calls ecPairing/ecAdd/ecMul to verify a SNARK.
Every number above came out of reading the file and its repository. Nothing is a judgement call, nothing is a model’s opinion, and nothing can be paid for. The full method is published. Source last committed 2026-08-13.
Also in iktok90-design/ai-smart-contract-auditor
Other artifacts published from the same repository.
A badge carrying how many listings this index holds from the repository and how many pass every static structural check. It reads from this index every time somebody loads your page, so it changes when the measurement changes and there is nothing to keep up to date. Free, no account, and the value is not something you or we can set by hand.
Would rather not hotlink us? Every badge is also served in shields.io’s endpoint schema, so shields renders the image and your readers never talk to our domain:
Published by Toolproof, the masthead over this index and eight others. The method behind the number is at toolproof.kynth.studio/methodology, and the whole thing is readable as JSON with no key at /api.