icme-preflight-mcp
Server Details
Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offers paid guardrails that converts natural language to formal verification proofs, that anyone can check succinctly.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
Glama MCP Gateway
Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.
Full call logging
Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.
Tool access control
Enable or disable individual tools per connector, so you decide what your agents can and cannot do.
Managed credentials
Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.
Usage analytics
See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.
Tool Definition Quality
Average 4.4/5 across 14 of 14 tools scored. Lowest: 3.5/5.
Most tools have distinct purposes, but there is some overlap between check_action and quick_check (both perform guardrail verification with the same underlying formal verification, differing only in response detail). Similarly, create_account and create_account_card serve the same core function with different payment methods. However, descriptions clearly differentiate these pairs, minimizing confusion.
Tool names follow a highly consistent verb_noun pattern throughout, such as check_action, make_rules, get_scenarios, and run_tests. The naming is uniform and predictable, making it easy for agents to understand the action each tool performs.
With 14 tools, the count is well-suited for the server's purpose of policy enforcement and account management. Each tool addresses a specific aspect of the workflow, from policy creation and testing to verification and payment, without feeling excessive or insufficient for the domain.
The toolset provides comprehensive coverage for the policy enforcement lifecycle, including policy creation (make_rules), testing (run_tests, get_scenarios), verification (check_action, quick_check, check_logic), proof handling (verify_proof), and account management (create_account, top_up). No obvious gaps exist, enabling agents to handle end-to-end workflows effectively.
Claim this connector by publishing a /.well-known/glama.json file on your server's domain with the following structure:
{
"$schema": "https://glama.ai/mcp/schemas/connector.json",
"maintainers": [{ "email": "your-email@example.com" }]
}The email address must match the email associated with your Glama account. Once published, Glama will automatically detect and verify the file within a few minutes.
Control your server's listing on Glama, including description and metadata
Access analytics and receive server usage reports
Get monitoring and health status updates for your server
Feature your server to boost visibility and reach more users
For users:
Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging
Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do
Centralized credential management – store and rotate API keys and OAuth tokens in one place
Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently
For server owners:
Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users
Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation
Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!