zero knowledge instructions

6 tagged zero knowledge, measured the same way as everything else here.

starkware-libs/stwo-cairo

Instructions file CodexOpenCode

AGENTS.md instructions for starkware-libs/stwo-cairo, covering stwo cairo agent architecture, roles, workflow, standard change (non-crypto) and soundness-critical change.

282 19d ago A 1,022 tokens

starkware-libs/stwo-cairo

Instructions file

Claude Code instructions for starkware-libs/stwo-cairo, covering priority contract, stack, workspace structure, auto-generated code and commands.

282 19d ago A 2,164 tokens

ainumbers AGENTS.md

03

PostOakLabs/ainumbers

Instructions file CodexOpenCode

Instructions for PostOakLabs/ainumbers, covering agents.md, propose a new tool or workflow via pr and build directives.

5 yesterday A 576 tokens original MIT

ainumbers CLAUDE.md

04

PostOakLabs/ainumbers

Instructions file

Instructions for PostOakLabs/ainumbers, covering claude.md β€” repo/ build directive, πŸ—‚οΈ repository structure, πŸ”’ non-negotiable constraints, πŸ€– mcp / tool-registration invariants (contract Β§a4 β€” must) and πŸ“ required ui & export contracts.

5 yesterday A 3,384 tokens original MIT

gno-ibc AGENTS.md

05

onbloc/gno-ibc

Instructions file CodexOpenCode

Instructions for onbloc/gno-ibc, covering agents.md, .gno files are not go, build & test, light client proof verification and universal.

5 8d ago A 6,537 tokens original Apache-2.0

gno-ibc CLAUDE.md

06

onbloc/gno-ibc

Instructions file

Instructions for onbloc/gno-ibc, a project described as: Gno.land IBC for EVM based chains via Union protocol.

5 8d ago A 3 tokens copy Β· 100% Apache-2.0