N/A
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
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL git+https://github.com/agenticsorg/lean-agentic.git
- Framework unknown
- Sources npm
- First Seen Mar 28, 2026
Browse more:
Search all agents
Ecosystem Report