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 | |
|---|---|---|---|
| ../ | |||
| 1.39 kB | |||
| 1.55 kB | |||
| 1.55 kB | |||
| 608 B | |||
| 1.85 kB | |||
| 1.85 kB | |||
| 893 B | |||
| 2.21 kB | |||