lean-agentic
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
build.protocol_tooling.mcp#lean#theorem-prover#dependent-types#formal-verification#wasm#webassembly#hash-consing#type-theory#proof-assistant#lean4