ICME Preflight

smithery.ai

Открыть сайт open_in_new

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 ful

Похожие в разделе «MCP-серверы»

ClickHouse

ClickHouse - колоночная СУБД для OLAP. Обеспечивает SQL-запросы за миллисекунды на петабайтах данных. Идеально для real-time аналитики.

JustCall MCP Server

JustCall MCP Server enables LLMs and AI agents to make voice calls and send SMS via JustCall APIs.

Octoparse MCP Server

Official Octoparse MCP server for template discovery, cloud tasks, and structured data export.

Parallel Search MCP

The best web search for your AI Agent

Outset

AI-moderated research platform: create and launch studies and query interview results.

io.gainium/gainium-mcp

MCP server for Gainium — manage trading bots, deals, and balances via AI assistants