MCP低风险未认领

icme-preflight

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

wyattbenno777wyattbenno777/icme-preflight更新于 2026年3月23日

server.json

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.wyattbenno777/icme-preflight",
  "description": "Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.",
  "repository": {
    "url": "https://github.com/ICME-Lab/smt-ar-base",
    "source": "github"
  },
  "version": "1.0.1",
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://api.icme.io/mcp"
    }
  ]
}

权限

声明检测
运行代码—无
安装—无
安装时运行脚本—无
网络api.icme.ioapi.icme.io
需要的凭据无无
工作区外的路径—无
智能体工具—无

检查

低风险 · 没有发现需要提醒的地方。

未经人工审核 · 已做规则检查；模型审核尚未开启。

版本

  1. #11.0.1最新2026年10月7日