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 | |
|---|---|---|---|
| ../ | |||
| 3.04 kB | |||
| 10.3 kB | |||
| 65.6 kB | |||
| 1.03 kB | |||
| 698 B | |||