Skip to main content
Glama
89,359 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"EU-Verify Identity or Document Verification Service" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    Not graded
    quality
    B
    maintenance
    A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean verification, and audit chains with a 4-value verdict system.
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    An MCP server that performs independent verification of artifacts against criteria using a different AI model lineage (codex, OpenAI, or Gemini) to catch defects that same-family checks might miss.
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    MCP server that gives an AI agent a throwaway test identity — a real disposable email address and a real UK phone number — so it can sign up for something it's testing and read back the verification email/SMS itself, without a human in the loop.
    5
    26 npm
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Enables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.
    12
    Apache 2.0
  • A
    license
    Not graded
    quality
    B
    maintenance
    Provides a deterministic pre-install security scan for Agent skills, plugins, and MCP servers via stdio, returning verdicts, audited badges, CI gates, and reports without executing code or making network calls.
    262 npm
    MIT
  • A
    license
    Not graded
    quality
    A
    maintenance
    Enables agents to classify every claim into evidence tiers (FACT/INFERENCE/SPECULATION/UNVERIFIED) with attached evidence, forcing deterministic, evidence-gated reporting without LLM or network calls.
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    MCP server for Jama Connect that brings requirements, traceability, tests, and baselines into MCP clients like Claude, Cursor, VS Code, or GitHub Copilot, with access control, audit trail, and rate limiting. It provides 53 tools across 8 individually enableable toolsets, with an admin dashboard for managing access and usage.
    MIT
  • F
    license
    Not graded
    quality
    D
    maintenance
    Enables automated WCAG 2.2 AA accessibility audits of Figma designs and webpages. Generates detailed markdown reports with severity-grouped violations, specific criterion references, and concrete fix recommendations.
    -
  • A
    license
    A
    quality
    A
    maintenance
    Semantix-Verify is an MCP server for semantic validation of AI/LLM outputs. It exposes a single tool, verify_text_intent(text, intent_description, threshold), which uses a local quantized NLI cross-encoder (INT8 ONNX) to return a 0.0–1.0 probability that the text satisfies the given intent — and, when it doesn't, a structured correction prompt for agent retry loops. Useful for building com
    1
    73 PyPI
    5
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables interaction with Gremlin's reliability management APIs to monitor service dependencies, run reliability experiments, generate reliability reports, and manage chaos engineering tests through natural language queries.
    45 npm
    6
    Apache 2.0
  • F
    license
    Not graded
    quality
    D
    maintenance
    Enables AI-powered document analysis and querying for project documentation using vector embeddings stored in Redis. Supports document upload, context-aware Q\&A, automatic test case generation, and requirements traceability through OpenAI integration.
    291 npm
    -