jolt
01Skill Claude Code
Wrap a Rust function in a Jolt zero-knowledge proof.
not rated 1.1k
+4
changed 17d ago A SkillSpector: pass 15 tokens
original Apache-2.0
CTF•密码学
02Skill Claude Code
A cryptography skill for solving capture-the-flag challenges, which are security puzzles that require finding and exploiting weaknesses. It covers algorithms, attacks, mathematical techniques, and zero-knowledge proofs.
not rated 837
+2 14d ago A 72 tokens
emiliaprotocol/emilia-protocol
Skill Claude CodeCodex
Verify the authenticity of AI-agent authorization receipts and human-device signoffs. Use this whenever a user shares a "trust receipt", an "authorization receipt", a "signoff", or WebAuthn/passkey approval evidence and asks whether it is valid, genuine, or tampered with. Pairs with the public EMILIA Protocol MCP…
not rated 611
+1 3d ago A SkillSpector: pass 94 tokens
original Apache-2.0
Skill Claude CodeCodex
Diagnose a denied Tenuo call and make the legitimate call work with the smallest change to authority. Use when a call, test, or agent step fails with a Tenuo denial, monotonicity, proof-of-possession, chain, expiry, approval, or unknown-argument error. Do not use to design new authority from scratch (use…
not rated 103 today A 111 tokens
original Apache-2.0
Skill Claude CodeCodex
Write publication-ready papers for top security, privacy, and cryptography venues (IEEE S&P, ACM CCS, USENIX Security, NDSS, PETS, CRYPTO, Eurocrypt, TCC). Use when drafting papers from research repos in these areas, structuring threat models and security claims, writing game-based or simulation-based proofs, or…
not rated 19
+2 4mo ago A 94 tokens
Skill Claude CodeCodex
Comprehensive autonomous skill for AI agents to guide users through the $FLOP airdrop, Flop Labs Technocore participation, Technocore Sonnet Contest (sonnet-1) poetry collaboration, tclk/1 HTLC escrow deal coordination, whitepaper/teaser specs, and testnet faucet readiness. Supports Dual-Engine execution (MCP-First…
not rated 9
changed 1mo ago A 124 tokens
original MIT
agentnetwork
07Skill Claude CodeCodex
How to use AgentNetwork (anet 0.2.x) as an AI agent or as its operator: install the signed release, join a hub, wire anet into a coding agent (MCP), and hand tasks to other agents over A2A.
not rated 9
+3 17d ago C 56 tokens
Skill Claude CodeCodex
Fill stored secrets (passwords, card numbers, API keys) into web pages through the secure-browser MCP server without ever seeing the secret values. Use when a task needs a login, checkout, payment form, or any credential entered into a website and the credentials live in a secret store rather than in the conversation.
not rated 6
changed 16d ago C 66 tokens
Skill Claude CodeCodex
Signs every Claude Code tool call with an offline-verifiable Ed25519 receipt. Lets you audit exactly what Claude did and when, without trusting any server.
not rated 5
changed 1mo ago A 37 tokens
chenxihuang1028-a11y/crypto-protocol-diagram
Skill Codex
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with cryptographic annotations. Use when diagramming a crypto protocol, visualizing a handshake or key exchange flow, extracting message…
not rated 5 2mo ago A 120 tokens
CC-BY-SA-4.0
delegate
11Skill Claude Code
Cryptographic delegation for AI agents. Scope-confines what Claude Code can do in this session using Ed25519 delegation tokens. Every action is verified before execution and signed for the audit trail. Use when asked to "delegate", "restrict scope", "authorize", or "sudo mode".
not rated 2 6mo ago A 61 tokens
chamber
12Skill Claude CodeCodex
Seal and open JSON with an MCP server. Use when an agent needs to store sensitive JSON sealed, open a sealed blob, or gate a hop. Cloak needs a license; open is keys-only.
not rated 0 8d ago A 44 tokens
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: