- Conduid
- Marketplace
- #formal-methods
MCP servers tagged formal-methods
8 live MCP servers tagged "formal-methods", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with formal-methods.
Axiomcodegraph
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token us…
AI Safety Formalization Atlas
The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety to…
Leanstudio
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub bu…
Leanstudio
The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.
Soundcheck
Formal verification for declarative security configuration, built for AI-assisted changes.
Math Workspace
Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间
Software Observatory
A catalog of epistemic sensors for software correctness — the observable signals that reduce uncertainty about whether a system is correct
InferFund
Donate AI inference to advance open mathematical problems.