lean-agentic
Version:
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
| Filename | Content Type | Size | |
|---|---|---|---|
| 14.2 kB | |||
| 11.9 kB | |||
| 15.2 kB | |||
| 28 kB | |||
| 21.7 kB | |||
| 75.3 kB | |||
| 80.6 kB | |||
| 1.08 kB | |||
| 23 kB | |||
| 3.25 kB |