Agent Claude Code
Circom 2 circuit reviewer for Bolyra. Audits HumanUniqueness, Delegation, and AgentPolicy circuits for soundness, public-signal binding, constraint count efficiency, and Semaphore v4 ceremony reuse correctness. Use when modifying circuits, adding new circuits, or before regenerating zkeys.
Agent Claude Code
Bolyra protocol/spec reviewer. Audits the DID method, IETF draft, conformance test vectors, and on-chain registry semantics for internal consistency and external interop risk. Use when modifying anything in spec/, when proposing wire-format changes, or when integrating a new framework adapter in integrations/.
Agent Claude Code
Bolyra SDK API surface reviewer. Audits @bolyra/sdk (TS) and bolyra (Python) for cross-language API parity, breaking-change risk, error code alignment, and subprocess bridge correctness. Use before publishing any SDK version, when adding/removing public exports, or when changing the permissions enum.
Agent Claude Code
Processes raw sources into wiki pages. Reads source documents, synthesizes them into structured wiki pages, updates the index.
Agent Claude Code
Health checks for the wiki. Finds stale pages, broken source links, coverage gaps, and metadata issues.
Command Claude Code
Compile circuits and refresh build artifacts.
Command Claude Code
Deploy Bolyra contracts to Base Sepolia testnet.
Command Claude Code
Pre-ship gate — review uncommitted diff before /ship.
Command Claude Code
Multi-reviewer audit of an open PR (gstack /review + codex + bolyra subagents).
Command Claude Code
Amend the latest commit with a DCO sign-off if missing.
Command Claude Code
Run circuit tests (fast or full proof).
Hook Claude Code
Runs after a tool call finishes for Edit, Write and MultiEdit tool calls, executing .test.js with --noEmit. From bolyra/bolyra.
Hook Claude Code
Runs when a session starts, running an inline shell check. From bolyra/bolyra.
Settings file Claude Code
Agent settings declaring 2 hook events (PostToolUse, SessionStart).
Instructions file
Claude Code instructions for bolyra/bolyra, covering claude.md, project, commands, architecture and circuits.
MCP server Claude CodeCodexCursor
Stdio MCP auth proxy: wrap any MCP server with per-tool permission enforcement. Runs locally from the @bolyra/shield npm package.
MCP server Claude CodeCodexCursor
MCP auth gateway: verify agent identity, enforce per-tool permissions, block replays, emit receipts. Runs locally from the @bolyra/gateway npm package.
MCP server Claude CodeCodexCursor
MCP auth middleware: gate tool calls so only authorized agents can act. Runs locally from the @bolyra/mcp npm package.
MCP server Claude CodeCodexCursor
TypeScript SDK for mutual ZKP authentication between humans and AI agents. Runs locally from the @bolyra/sdk npm package.