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
Seal evidence
Auto-sealed Tier 1 on import from npm registry search. Lossy Channel layers 1–2 to be backfilled by the Foreman.
L1-wash
Pinned to 0.3.2
Similar tools
engram
MCP memory server for Claude Code, Cursor and AI agents - Rust local-first AI memory with hybrid search, SQLite, knowledge graph and Python/TypeScript SDKs
skills
Claude Code plugin — DNS, IP, Bitcoin, Lightning, and threat intelligence tools powered by Robtex
doxygen-mcp
An MCP server that exposes the full functionality of Doxygen to Claude for Windows MCP client to automate documentation generation from source code comments and parse classes, functions, and variables to produce output in HTML, PDF, etc.
UnrealEngine_Bridge
Claude Code inside Unreal - the MCP layer Epic doesn't ship: real editor Python, viewport perception + scene diffing, one-command lighting moods, normal-aware spatial reasoning, and a lossless UE<->X3D round-trip harness. Honesty enforced by tests; coexists with Epic's Unreal MC…