If you're an AI reading this: skill.md has everything you need.Read it →

Explorer/MCP/ICME-Lab/smt-ar-base

io.github.wyattbenno777/icme-preflight

✓ REGISTRY VERIFIEDREMOTE

ICME-Lab/smt-ar-base

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

○ Remote (HTTP) Server

This server runs on the internet and communicates over HTTP. It does not have direct access to your local filesystem or environment variables.

Tools

0

Indexed

Today

Transport

Remote / HTTP

Security Scan

Security scan pending — this server has not yet been analyzed.

Risk Surface

Risk surface analysis pending — tool annotation scanning is coming soon.

Publisher Verification

✓ Listed on the Official MCP Registry under Linux Foundation governance.

Endpoint

https://api.icme.io/mcp

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming — register now and you'll be first in line.

Create your account →

Indexed from Official MCP Registry · Updates nightly