Skip to main content
Glama

ProofRail MCP Release Certifier

by io.github.kaattaallaa-sketch
OverviewDiscussionsAdmin

Server Details

MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.

The last two health checks of this connector failed. If this server requires authentication, missing or expired test credentials may be the cause. A test profile lets Glama authenticate for health checks and discover tools; it is separate from your personal connections.

If you are the author, claim ownership, then add or update a test profile under Admin → Test Profile.

Status
Unhealthy
Uptime
8.0% over 20 days
Last Tested
Transport
Streamable HTTP
URL

TDQS

A3.6/5.0

Scored across 8 tools

Disambiguation4/5

Most tools have distinct purposes and the free/paid distinction (preflight vs. certify vs. quote_certification) is clearly articulated. Minor overlap exists between find_mcp_servers (catalog search) and the mcp_radar_* discovery tools, which could occasionally be confused, but descriptions clarify the difference.

Naming Consistency3/5

There is a partial domain-prefix pattern (mcp_radar_*, mcp_release_*) but it is mixed with a bare noun (health), a non-prefixed verb_noun (find_mcp_servers, quote_certification), and a brand name (proofrail_info). Readable clustering, but no single predictable convention.

Tool Count5/5

Eight tools is well-scoped for an MCP discovery/verification/certification workflow; each tool corresponds to a distinct step (discover, inspect, preflight, quote, certify, info, health). No filler tools.

Completeness4/5

The surface covers the core lifecycle well: discovery (catalog + radar), free preflight, paid certification, quoting, info, and health. Minor gaps like retrieving past certification receipts or managing a watchlist exist, but agents can work around them.

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections.

  1. 1 tool update
    • Changedmcp_release_certify2 fields changed
      • addedInput schema / properties / baseline_schema_hashes
        Added value: +{
+  "additionalProperties": {
+    "pattern": "^[a-f0-9]{64}$",
+    "type": "string"
+  },
+  "description": "Paid drift check: prior contract_baseline; removed tools fail, changed input-schema hashes require review.",
+  "propertyNames": {
+    "maxLength": 128,
+    "minLength": 1
+  },
+  "type": "object"
+}
      • addedInput schema / properties / required_tools
        Added value: +{
+  "description": "Paid integration gate: fail if any named tool is missing.",
+  "items": {
+    "maxLength": 128,
+    "minLength": 1,
+    "type": "string"
+  },
+  "maxItems": 100,
+  "minItems": 1,
+  "type": "array"
+}
  2. 1 tool update
    • Changedquote_certification2 fields changed
      • addedInput schema / properties / declared_protocol_version
        Added value: +{
+  "type": "string"
+}
      • addedInput schema / properties / target_url
        Added value: +{
+  "format": "uri",
+  "type": "string"
+}
  3. 1 tool update
    • Changedfind_mcp_servers2 fields changed
      • removedInput schema / properties / sort / default
        Removed value: -"relevance"
      • removedInput schema / required
        Removed value: -[
-  "query"
-]
  4. 2 tool updates
    • Addedfind_mcp_servers
    • Changedmcp_radar_snapshot2 fields changed
      • addedInput schema / properties / query
        Added value: +{
+  "maxLength": 200,
+  "minLength": 1,
+  "type": "string"
+}
      • addedInput schema / properties / sort
        Added value: +{
+  "enum": [
+    "relevance",
+    "stability",
+    "observations",
+    "tools",
+    "freshness"
+  ],
+  "type": "string"
+}
  5. 1 tool update
    • Changedmcp_radar_snapshot2 fields changed
      • addedInput schema / properties / min_observations
        Added value: +{
+  "maximum": 1000000,
+  "minimum": 1,
+  "type": "integer"
+}
      • addedInput schema / properties / min_pass_rate
        Added value: +{
+  "maximum": 1,
+  "minimum": 0,
+  "type": "number"
+}
  6. 2 tool updates
    • Addedmcp_radar_changes
    • Changedmcp_radar_snapshot4 fields changed
      • addedInput schema / properties / connection
        Added value: +{
+  "enum": [
+    "ok",
+    "auth_required",
+    "transport_error"
+  ],
+  "type": "string"
+}
      • addedInput schema / properties / min_tools
        Added value: +{
+  "maximum": 10000,
+  "minimum": 0,
+  "type": "integer"
+}
      • addedInput schema / properties / source
        Added value: +{
+  "enum": [
+    "official_mcp_registry",
+    "github_code_search"
+  ],
+  "type": "string"
+}
      • addedInput schema / properties / tool_contains
        Added value: +{
+  "maxLength": 128,
+  "minLength": 1,
+  "type": "string"
+}
  7. 1 tool update
    • Addedmcp_radar_snapshot
  8. 1 tool update
    • Addedmcp_release_preflight
  9. 1 tool update
    • Changedmcp_release_certify4 fields changed
      • addedInput schema / properties / check_profile / description
        Added value: +"Verification profile; basic covers connection, protocol negotiation, tools/list, and schemas"
      • addedInput schema / properties / declared_protocol_version / description
        Added value: +"MCP protocol version the target release claims to support"
      • addedInput schema / properties / fixture_id / description
        Added value: +"Optional server-configured safe fixture id; callers cannot provide arbitrary tool arguments"
      • addedInput schema / properties / target_url / description
        Added value: +"Public MCP Streamable HTTP endpoint to certify before deployment or integration"
  10. 4 tool updates
    • First observedhealth
    • First observedmcp_release_certify
    • First observedproofrail_info
    • First observedquote_certification

Related MCP Connectors

Related MCP Servers

  • Schema Drift Gate MCP

    clauxel
    F
    license
    Not graded
    quality
    D
    maintenance
    Paid remote MCP server that blocks breaking tool-schema changes by verifying schema drift, requiring approvals, and providing compatibility receipts and audit logs.
    -

  • repo-verifier

    stsepelin
    A
    license
    Not graded
    quality
    B
    maintenance
    Provides MCP tools for local code validation with execution evidence, enabling users to run planned checks on projects and receive JSON results that distinguish passing, failing, and incomplete outcomes.
    33 npm
    MIT

  • tibet-pol-mcp

    Humotica
    A
    license
    A
    quality
    D
    maintenance
    MCP server for running infrastructure health checks with TIBET provenance. It enables users to define, execute, and audit process health checks with dependency chaining and drift tracking.
    6
    MIT
Try in Browser
Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources