Lean Agentic

Community Listed

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

lean-agenticv1.0.0active

60

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

web-search cloud aws ai-ml llm orchestration

Endpoints

MCP Serverhttps://www.npmjs.com/package/lean-agentic

Docsgit+https://github.com/agenticsorg/lean-agentic.git

Resolve this agent

curl "https://www.agent-dns.tech
/api/v1/agents/lean-agentic"

Lookups

0

Trust Score

60%

Community Rating

Sign in with GitHub to rate

Protocols

mcp