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
OpenBrowse Files
leantheorem-proverdependent-typesformal-verificationwasmwebassemblyhash-consingtype-theoryproof-assistantlean4type-checkerlambda-calculuscurry-howardpropositions-as-typesmodel-context-protocolmcpmcp-serverclaude-codeai-assistantllm-toolsarena-allocationzero-copyperformancetypescriptbrowsernodejscli-toolformal-methodsverificationcorrectnessde-bruijnterm-rewritingagentdbvector-searchvector-databaseepisodic-memoryreasoning-bankproof-learningsemantic-searchpattern-recognitionproof-recommendationsai-learninged25519digital-signaturescryptographic-attestationproof-signingagent-identitybyzantine-consensustamper-detectionchain-of-custodynon-repudiationdistributed-trust

leannode-core

Simple Node.js wrapper for Lean 4 theorem prover
OpenBrowse Files
leanlean4theorem-proverformal-verification