# ICME Preflight

> Use this tool when you need to ensure AI agents operate within strict policy boundaries and catch reasoning contradictions. ICME Preflight provides jailbreak-proof guardrails through automated reasoning and formal verification, enforcing policies and generating cryptographic proofs. It offers a range of tools, including a free logic checker, to verify agent actions and test policies before deployment.

Canonical page: https://skillsregistry.net/skills/icme-labs-preflight  
JSON: https://api.skillsregistry.net/v1/skills/icme-labs-preflight

## Description

Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof.

Includes a FREE check_logic tool that catches contradictions in agent reasoning (budget overflows, impossible timelines, conflicting constraints) using a Z3 SAT solver. No account needed.

13 tools covering the full workflow:

check_logic — FREE. Mathematically prove reasoning is consistent before acting on it.
make_rules — write guardrails in plain English, ICME compiles them to formal logic via Automated Reasoning.
check_action / quick_check — verify any agent action against your policy. SAT = allowed, UNSAT = blocked.
verify_proof — independently verify the ZK receipt from any prior check.
get_scenarios / run_tests — test your policy with AWS Automated Reasoning scenarios before deploying.
Account & billing — create account ($5 USDC or card), top up credits, pay per call via x402.

Docs: https://docs.icme.io

## Trust

- **Trust score (0–1):** 0.30
- **Verification tier:** unverified
- **Last scanned:** 2026-08-24

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** cloud-infra
- **Updated:** 2026-08-24

## Source

- **Source listing:** [Smithery](https://smithery.ai/server/icme-labs/preflight)

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "icme-labs-preflight"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/icme-labs-preflight` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/icme-labs-preflight/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt