Developer · Remote MCP server
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.wyattbenno777/icme-preflight- Version
- 1.0.1
- Status
- Active
- Category
- developer
- Transport
- Streamable HTTP
- Published
- 2026-03-23
- Updated
- 2026-03-23
- Publisher
- wyattbenno777 (GitHub)
- Repository
- github.com/ICME-Lab/smt-ar-base
- Source
- Registry API entry
Remote endpoints
| Transport | URL | Headers declared |
|---|---|---|
| Streamable HTTP | https://api.icme.io/mcp | None |
How to connect Icme Preflight
Icme Preflight is a remote MCP server: there is nothing to install. Its endpoint is https://api.icme.io/mcp, served over Streamable HTTP. In an assistant that accepts remote MCP servers (often under a setting named connectors, integrations or tools), add a new server and give it this URL; in a client configured by file, add it as a remote (HTTP) server with the same URL.
No headers are declared in the registry entry. If the server needs you to sign in, a client that supports MCP authorization opens the service's own sign-in page when it first connects.
Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| IBM watsonx.ai GraniteIBM watsonx.ai MCP by three.ws: chat, text generation, embeddings, and tokenization. | Local · stdio |
| IbmzIBM Z mainframe MCP server - Key Protect HSM & z/OS. | Local · stdio |
| Icd10 CodingICD-10-CM / HCC medical coding tools with database-verified accuracy and denial-prevention rules. | Remote · HTTP |
| IcdwiseVerified ICD-10-CM code lookup & validation for AI agents — official descriptions, not guesses. | Local · stdio |
| Icon Composer MCPCLI and MCP server for creating Apple.icon bundles with Liquid Glass effects (iOS 26+) | Local · stdio |
| iconlabSearch 324k icons or generate new ones in the Lucide grammar - grammar-locked lint+critique+repair. | Remote · HTTP |
| iconsroom.comSearch 276,000+ open source icons and insert them as SVG or React components while you code. | Local · stdio |
| idameshMCP server for IDA Pro: decompiler, disassembler, and analysis tools for MCP clients. | Local · stdio |