🔧

Icme PreflightVerified🛡 No advisories

io.github.wyattbenno777/icme-preflight

New to MCP? Start here →

0★ stars

0weekly installs

4 months agolast release

Provenancewhere it came from, and what was verified

✓

Verified namespace

Published to the official MCP registry by github.com/wyattbenno777, which proved it owns this namespace.

Verified owner: github.com/wyattbenno777 ↗io.github.wyattbenno777/icme-preflight

🛡 Permissions & trustwhat this server can touch before you run it

◆

Network access

Connects to a hosted remote endpoint.

About

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

Packages & transports

remotehttps://api.icme.io/mcpHTTP

Metadata

Sourcegithub.com/ICME-Lab/smt-ar-base ↗

Categorydevops

Quality 65/100

how much you can lean on this server

Maintenance

26/45

Completeness

28/35

Reliability

11/20

Computed from the server's own data, not a hidden formula. This measures how much you can depend on it, not how popular it is. Stars are shown separately, on purpose. How it's scored →

Tool definition quality 100/100

how well its 14 tools describe themselves to an agent

▸check_logic100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸check_relevance100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸make_rules100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸check_action100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸check_action_paid100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸quick_check100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸verify_proof100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸get_scenarios100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸run_tests100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸create_account100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸create_account_card100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸top_up100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸top_up_card100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

▸poll_session100A

Description

present and substantive

Param types

params declare a type

Param docs

params are described

Structure

required fields declared

Structural, not an LLM's opinion: each check is a fact about the tool's schema, so it's reproducible. One weak tool drags the score (60% average, 40% worst). How it's scored →

For the maintainer

Raise this grade

up to +35 on quality

Own this server? Here's exactly what to change, biggest wins first. Every number below is a fixed point value, so you can see what each edit is worth before you make it.

+19

Keep it activeMaintenance

Push to the repo or cut a release. Activity within the last 30 days earns the full 45.

Collect working reviewsReliability

With no reviews this sits at a neutral 11. Reviews reporting it works push it toward the full 20.

Declare a licenseCompleteness

Add an SPDX license (like MIT or Apache-2.0) to the repo so it's detected.

Already earned (3) ▾

✓Describe what it does+11

✓Give an install path+11

✓Link the source+6

These are structural checks, so the fixes are exact. See the full formula →

Add a badge to your README

[![SocketCat](https://socketcat.com/badge/io.github.wyattbenno777/icme-preflight)](https://socketcat.com/servers/io.github.wyattbenno777/icme-preflight)

Shows your live quality grade and links back here. It updates itself as the grade changes.

Add to your client

Pick your client, copy, paste into its config. That's the whole setup.

~/.claude/claude_desktop_config.json

{
  "mcpServers": {
    "icme_preflight": {
      "command": "npx",
      "args": [
        "-y",
        "icme-preflight"
      ]
    }
  }
}

▶ Try itlive against api.icme.io

This server has a hosted endpoint, so we can connect and list its actual tools right here. Nothing runs on your machine.

Icme Preflight✓Verified🛡 No advisories

Provenancewhere it came from, and what was verified

🛡 Permissions & trustwhat this server can touch before you run it

About

Packages & transports

Metadata

Raise this grade

Add a badge to your README

Reviews

▶ Try itlive against api.icme.io

Icme PreflightVerified🛡 No advisories