Best Theorem Prover AI Skills & MCP Servers

1 curated Theorem Prover 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 Theorem Prover skills on iClaude

iClaude is the universal install layer for AI skills. Every Theorem Prover 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