{"id":"674a2c07-fa50-4a33-b043-d76dcd0ff3d3","slug":"npm-lean-agentic","name":"lean-agentic","description":"High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic","capabilities":["lean","theorem-prover","dependent-types","formal-verification","wasm","webassembly","hash-consing","type-theory","proof-assistant","lean4","type-checker","lambda-calculus","curry-howard","propositions-as-types","model-context-protocol"],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":12.472199999999999,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-02-24T19:43:14.176Z"}