MCP server: One MCP server.

Icme Preflight

@wyattbenno777MCP server · External

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

Freeno charge per call

One address for any MCP client. No sign-in needed on this server.

What it does

7 read3 act4 other

Grouped by tool name. At most: moves money, runs code or commands, deletes data, or sends messages for you.

What it costs

Free

Odel charges nothing per call. The publisher may charge for its own service.

Tools

14 · grouped by tool name · checked 8 Oct 2026

Read · 7Look things up

  • check_logic
  • check_relevance
  • check_action
  • check_action_paid
  • quick_check
  • verify_proof
  • get_scenarios

Act · 3Change something

  • run_tests
  • create_account
  • create_account_card

Other · 4Neither hinted nor named

  • make_rules
  • top_up
  • top_up_card
  • poll_session
Try it in the Inspector

No README yet. What Odel knows about this module is on the right.

Similar modules

Browse AI agent governance