Instructions file CodexOpenCode
Instructions for a16z/jolt, a project described as: The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡.
1.0k yesterday A 4 tokens
copy · 100% Apache-2.0
Instructions file
Instructions for a16z/jolt, covering claude.md, project overview, essential commands, linting and formatting and must pass in both standard and zk modes.
1.0k yesterday A 5,183 tokens
original Apache-2.0
emiliaprotocol/emilia-protocol
Instructions file GitHub Copilot
Instructions for emiliaprotocol/emilia-protocol: Read AGENTS.md and AICONTEXT.md before proposing changes. Current evidence and provenance are in public/.well-known/emilia-context.json. Treat archived, staged, private, and outreach documents as non-authoritative for current behavior or standards status.
653 yesterday A 63 tokens
original Apache-2.0
emiliaprotocol/emilia-protocol
Instructions file CodexOpenCode
Instructions for emiliaprotocol/emilia-protocol, covering repository instructions for ai agents, required first read, source discipline, context maintenance and verification.
653 yesterday A 697 tokens
original Apache-2.0
emiliaprotocol/emilia-protocol
Instructions file
Instructions for emiliaprotocol/emilia-protocol, covering emilia protocol - repo guide, required context, critical, build & ship and outbound & claims.
653 yesterday A 852 tokens
original Apache-2.0
Instructions file CodexOpenCode
Instructions for Verified-zkEVM/VCVio, covering vcvio — ai agent guide, fast start, attribution, headers, and docstrings, module scopes and what this project is.
142 2d ago A 5,618 tokens
original Apache-2.0
Instructions file
Instructions for Verified-zkEVM/VCVio, a project described as: A Lean library for machine-checked cryptographic proofs.
142 2d ago A 3 tokens
copy · 100% Apache-2.0
Instructions file GitHub Copilot
Instructions for putervision/WebCrypt, covering state graph (state-graph-mcp), 1. priority order, 2. when to write to the graph, 3. workflow pattern and 4. codebase seeding on initialization.
26 10d ago B 2,464 tokens
original MIT
Instructions file
Instructions for putervision/WebCrypt, covering state graph (state-graph-mcp), 1. priority order, 2. when to write to the graph, 3. workflow pattern and 4. codebase seeding on initialization.
26 10d ago B 2,464 tokens
copy · 100% MIT
nirholas/ethereum-wallet-toolkit
Instructions file GitHub Copilot
Copilot instructions for nirholas/ethereum-wallet-toolkit, covering ethereum-wallet-toolkit and terminal management.
24 15d ago A 181 tokens
nirholas/ethereum-wallet-toolkit
Instructions file CodexOpenCode
AGENTS.md instructions for nirholas/ethereum-wallet-toolkit, covering ethereum-wallet-toolkit development guidelines, project overview, terminal management and contributing.
24 15d ago A 248 tokens
nirholas/ethereum-wallet-toolkit
Instructions file
Claude Code instructions for nirholas/ethereum-wallet-toolkit, covering ethereum-wallet-toolkit and terminal management.
24 15d ago A 181 tokens
Instructions file
Claude Code instructions for fosres/SecEng-Exercises, covering claude.md, repository overview, repository structure, exercise categories and integer overflow exercises.
24 2d ago A 1,015 tokens
Instructions file
Instructions for Coff0xc/CTF-MCP, covering claude.md, project overview, commands, install (editable mode) and install with dev tools.
23 5mo ago A 1,460 tokens
original MIT
Instructions file
Instructions for ivRodriguezCA/nuntius, covering claude.md, protocol version, build, test, lint, single test class / case and tooling.
21 1mo ago A 3,117 tokens
original MIT
Instructions file GitHub Copilot
Instructions for agent-receipts/obsigna, covering general review guidelines, security, cross-sdk consistency and code quality.
20 2d ago A 220 tokens
original Apache-2.0
Instructions file GitHub Copilot
Instructions for agent-receipts/obsigna, a project described as: Agent Receipts — cryptographically signed audit trails for AI agent actions. Protocol spec, SDKs (Go, TypeScript, Python), and MCP proxy.
20 2d ago A 163 tokens
original Apache-2.0
Instructions file CodexOpenCode
Instructions for agent-receipts/obsigna, covering agents.md, monorepo layout, quick reference, operational state and conventions.
20 2d ago A 1,712 tokens
original Apache-2.0
Instructions file CodexOpenCode
Instructions for NiobiumInc/niobium-client, covering agents.md, project overview, development commands, architecture overview and dsl for fhe (dslfhe/).
20 3d ago A 1,880 tokens
original Apache-2.0
Instructions file
Instructions for NiobiumInc/niobium-client, a project described as: Open-source FHE client and toolchain. Build fully homomorphic encryption applications with the nb DSL, instrumented OpenFHE, FHETCH API or a CUDA-style library API, record one Polynomial IR trace, and deploy to the Niobium accelerator.
20 3d ago A 12 tokens
copy · 100% Apache-2.0
Instructions file CodexOpenCode
Instructions for cyanheads/toolkit-mcp-server, covering developer protocol, what's next?, core rules, patterns and tool.
18 9d ago A 6,598 tokens
copy · 77% Apache-2.0
Instructions file
Instructions for cyanheads/toolkit-mcp-server, covering developer protocol, what's next?, core rules, patterns and tool.
18 9d ago A 6,598 tokens
copy · 77% Apache-2.0
SkyShannonProver/shannon-prover
Instructions file CodexOpenCode
AGENTS.md instructions for SkyShannonProver/shannon-prover, covering shannon prover: repository contract, non-negotiable boundaries, runtime ownership, current agent-facing turn and runtime authority and identity.
18 12d ago A 2,040 tokens
SkyShannonProver/shannon-prover
Instructions file
Claude Code instructions for SkyShannonProver/shannon-prover, covering shannon prover: claude entry point, current boundary, easycrypt environment, eval safety and current documentation.
18 12d ago A 586 tokens