Développement · Serveur MCP distant
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
io.github.wyattbenno777/icme-preflight- Version
- 1.0.1
- Statut
- Actif
- Catégorie
- développement
- Transport
- Streamable HTTP
- Publié
- 23 mars 2026
- Mis à jour
- 23 mars 2026
- Éditeur
- wyattbenno777 (GitHub)
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/wyattbenno777) · comment
- Dépôt
- github.com/ICME-Lab/smt-ar-base
- Source
- Entrée dans l’API du registre
Points de terminaison distants
| Transport | URL | En-têtes déclarés |
|---|---|---|
| Streamable HTTP | https://api.icme.io/mcp | Aucun |
Vérification en direct
Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.
- Joignable
- Oui (HTTP 200)
- Poignée de main
- icme-preflight 1.0.0 · protocole 2025-03-26
- Outils trouvés
14 - afficher les noms
check_logic,check_relevance,make_rules,check_action,check_action_paid,quick_check,verify_proof,get_scenarios,run_tests,create_account,create_account_card,top_up,top_up_card,poll_session- Vérifié le
- 5 octobre 2026
Comment connecter Icme Preflight
Icme Preflight est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://api.icme.io/mcp. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.
L’entrée du registre ne déclare aucun en-tête. Si le serveur vous demande de vous connecter, un client qui prend en charge l’autorisation MCP ouvre la page de connexion du service lui-même lors du premier accès.
Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Autres serveurs : développement
| Serveur | Exécution |
|---|---|
| IBM Granite via x402X402 pay-per-use IBM Granite AI: chat, code, embeddings, analysis, forecasting. Pay USDC per call. | Local · stdio |
| IBM watsonx.ai GraniteIBM watsonx.ai MCP by three.ws: chat, text generation, embeddings, and tokenization. | Local · stdio |
| Icd10 CodingICD-10-CM / HCC medical coding tools with database-verified accuracy and denial-prevention rules. | Distant · HTTPVérification en direct : connexion requise |
| 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. | Distant · HTTPVérification en direct : ✓ poignée de main |
| 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 |