Skip to main content
Glama
elwsls

io.github.elwsls/verifiable-claim-seed

by elwsls
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Local

Related Servers

Alternatives to io.github.elwsls/verifiable-claim-seed

No user-submitted related servers found.

    Related Servers

    • judgment-pack-runtime by Judgment-Pack

      judgment-pack-runtimeofficial

      Judgment-Pack
      A
      license
      Not graded
      quality
      A
      maintenance
      Serves offline document validation and evaluation operations of the Judgment Pack Specification to MCP clients over stdio, enabling agents to validate and evaluate JPS documents as tool calls. Supports conformance validation, experimental evaluation with disposition and error classes, and corpus testing.
      2
      Apache 2.0

    • nomue MCP

      licklider-ai
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables MCP clients to locally verify nomue Protocol Release 1 Welch Records, performing scoped structural, digest, admissibility, computability, and two-sided Welch recomputation checks over stdio without requiring accounts, API keys, or network access.
      48 npm
      Apache 2.0

    • proofspec

      christian140903-sudo
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.
      6 npm
      MIT
    • cwi-mcp-server by CumulativeWebInc

      cwi-mcp-serverofficial

      CumulativeWebInc
      A
      license
      A
      quality
      C
      maintenance
      Provides read-only access to CWI's trust infrastructure, enabling Gear Ledger provenance queries, agent trust scoring via the Verdict Engine, and NEEDLE DROP ledger hash-chain verification over stdio.
      7
      MIT

    • DEFAIR MCP Server

      joblinours
      A
      license
      A
      quality
      B
      maintenance
      Exposes forensic case and evidence management operations over stdio, including case creation, evidence registration with SHA-256 hashing, and integrity verification, so clients can manage DFIR investigations programmatically.
      7
      MIT
    Deploy Server
    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    TDQS

    A3.9/5.0

    Scored across 3 tools

    Disambiguation5/5

    Each tool has a distinct purpose: self_test for environment validation, validate for safe structural checks, and verify for full execution-based verification. The descriptions clearly differentiate the safe versus risky operations, leaving no ambiguity.

    Naming Consistency4/5

    Tool names are single verbs (validate, verify) while self_test is a compound, creating a slight inconsistency. However, all names are clear action-oriented verbs and follow a predictable style, making the deviation minor.

    Tool Count5/5

    Three tools is well-scoped for a specialized verification server. Each tool serves a necessary function without redundancy or excess, fitting the server's narrow purpose perfectly.

    Completeness4/5

    The toolset covers the core verification lifecycle: environment testing, safe validation, and full execution-based verification. A minor gap is the absence of any claim creation or modification tools, but these may be out of scope for a verification-focused server.

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources