TL;DR
Icme Preflight is a Model Context Protocol (MCP) server. Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included. Install with: Remote MCP: https://api.icme.io/mcp. Source: https://github.com/ICME-Lab/smt-ar-base. It speaks the Model Context Protocol and works with any compatible client (Claude, Cursor, Cline, Windsurf, Warp and more).
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Install Command
Remote MCP: https://api.icme.io/mcpFrequently Asked Questions
Icme Preflight is a Model Context Protocol server that Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
You can install it by running the install command: `Remote MCP: https://api.icme.io/mcp`. It then becomes available to any MCP-compatible client such as Claude, Cursor, Cline, Windsurf.
The Icme Preflight MCP Server is compatible with any client that speaks the Model Context Protocol — including Claude, Cursor, Cline, Windsurf.
Check the project license on its repository before use.
Reviews
0 reviews· 0.0 average
No reviews yet. Be the first to share your experience.
Leave a review
Rating
Details
- Agent Rank
- 0.0
- License
- Last Updated
- Aug 11, 2026
- Languages
- —
Client Compatibility
Speaks the Model Context Protocol — works with any compatible client.