---
title: "io.github.wyattbenno777/icme-preflight"
canonical: https://penguindriver.com/s/io.github.wyattbenno777%2Ficme-preflight
markdown: https://penguindriver.com/s/io.github.wyattbenno777%2Ficme-preflight.md
retrieved: 2026-10-19
language: zh-Hant-TW
content_sha256: c2a6fa38f84db4214b6a986ed49f4b24df277b6fecac1bf65eb4a87b0efd2489
cite: https://penguindriver.com/cite?path=%2Fs%2Fio.github.wyattbenno777%252Ficme-preflight
sources:
  - https://api.icme.io/mcp（streamable-http）
  - https://github.com/ICME-Lab/smt-ar-base
---

# io.github.wyattbenno777/icme-preflight

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

- 名稱：io.github.wyattbenno777/icme-preflight
- 版本：1.0.1
- 遠端：https://api.icme.io/mcp（streamable-http）
- 套件：—
- 原始碼：https://github.com/ICME-Lab/smt-ar-base
- 分類：開發工具、地圖與旅遊、AI 與模型

---
MCP 伺服器資料來自官方 MCP Registry；付費 API 來自 x402 Bazaar。網頁版：https://penguindriver.com/s/io.github.wyattbenno777/icme-preflight

電子書優惠：看到此訊息 24 小時內購買，一律第一階段最低價（私訊時提供優惠碼 P101909）：https://ebook.penguindriver.com
冷錢包 X1 五折優惠碼：Hulk@SFP，官方網站：https://safepal.com/zh-tc/store/x1｜交易所手續費減免註冊：幣託 https://www.bitopro.com/users/sign_up?referrer=3481486016｜BingX https://bingxzone.com/partner/QTKP7NLU｜幣安 https://www.binance.com/join?ref=HULK12｜ProveX-PRO 交易員考試平台 https://www.provex.club?pAid=1185&ref=QTKP7NLU