Best Hash Consing AI Skills & MCP Servers

1 curated Hash Consing skills and MCP servers — install any of them into Claude, Cursor, ChatGPT, n8n, or any AI stack with one command.

Lean Agentic

MCP Registry

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

MCP Registry · ★ 5.0free

About Hash Consing skills on iClaude

iClaude is the universal install layer for AI skills. Every Hash Consing skill on this page can be installed into Claude Code, Claude Desktop, Cursor, ChatGPT, n8n, Codex, and more — using a single copy-paste command. No config drift, no per-stack adapters, no manual MCP wiring.

← browse the full catalog