MCP Find
Browse Servers
Blog
Docs
Submit Server
Back to Directory
/
Developer Tools
io.github.wyattbenno777/icme-preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Developer Tools
v1.0.1
View on GitHub
Learn More
Best Devtools MCP Servers for Code Review: A 2026 Comparison
Read article
Best Devtools MCP Servers for Repo Intelligence: A 2026 Comparison
Read article
Using MCP Servers With Gemini CLI: Complete Setup Guide
Gemini CLI added MCP support in 2025, letting you connect any server from MCPFind's 10,212-server index to Google's open-source AI terminal. This guide walks through the settings.json config format, compatible transports, which devtools servers work best, and common setup issues to avoid.
Read article