6 boosters for "verifiable" — open source, verified from GitHub, ready to install
"name": "l4-computational-law", "description": "L4 programming language for computational law - encode contracts, regulations, and policies as executable, testable, verifiable programs", "email": "hello@legalese.com",
"name": "alien-agent-id", "description": "Verifiable cryptographic identity for AI agents — SSH-signed git commits, owner binding via Alien Network SSO, and hash-chained audit logs",
"$schema": "https://anthropic.com/claude-code/marketplace.schema.json", "name": "reqvire-org-marketplace", "description": "Official marketplace for reqvire-org plugins.",
"version": "5.10.0", "description": "Memory → Evaluation → Credential → Access Control for AI agents. Persistent memory with W3C Verifiable Credentials, capability-based access control, drift detection, and FSRS-6 spaced repetition.", "name": "kobie3717",
"name": "proof-engine-marketplace", "name": "Yaniv Golan", "email": "yaniv@golan.name"
An MCP server that integrates drand's verifiable randomness service with Claude, enabling AI applications to access cryptographically secure random values. Developers building applications requiring trusted randomness, lottery systems, or cryptographic operations benefit from this tool.
