snark skills

8 tagged snark, measured the same way as everything else here.

Browse within: arkworks 8cryptography 8zk 8zk-snarks 8zkp 8

ci-code-review

01

a16z/jolt

Skill Claude CodeCodex

Deep code review of a pull request using parallel analysis agents (semantic consistency, bugs, tech debt, security). USE FOR: - Reviewing PRs for bugs, security issues, and code quality - Analyzing new abstractions for consistency and correctness - Identifying tech debt and architectural concerns - Posting review…

1.0k 2d ago A 129 tokens original Apache-2.0

new-spec

02

a16z/jolt

Skill Claude CodeCodex

Create a new spec through Socratic interview, filling each template section to zero ambiguity.

1.0k 2d ago A 20 tokens original Apache-2.0

jolt

03

a16z/jolt

Skill Claude CodeCodex

Wrap a Rust function in a Jolt zero-knowledge proof.

1.0k 2d ago A 15 tokens original Apache-2.0