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

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.

Provides verified dependency-audit verdicts for AI agents, checking installed versions against OSV advisories and splitting direct vs transitive dependencies.

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.

Scans codebases for AI frameworks, checks EU AI Act compliance, and generates compliance reports, roadmaps, and audit-ready packages.

An MCP server for verifying AI-generated code quality, security, and performance, addressing trust gaps in AI coding assistants.

A sophisticated server that enables AI assistants to automatically analyze codebases and generate comprehensive, professional documentation.

Enables business services to push error logs and generate diagnostic reports using MCP tools for log searching, code querying, and report generation.

Enables AI agents to generate and retrieve a contextual document for a git branch, summarizing repository state, changes, and freshness, so they can understand the branch without scanning the entire codebase.

A collection of MCP servers providing structured tools for ARM specification, verification, assembly analysis, and performance checks. They enable LLM agents and engineers to perform formal verification, analyze assembly code, and evaluate performance constraints.

Provides advanced Flutter development tools via Model Context Protocol with features including widget analysis, documentation search, performance optimization, and code generation.

Ariadne's thread — a way out of the microservice maze. Local cross-service semantic chain hinter for microservices (GraphQL/HTTP/Kafka/frontend)

Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.

MCP server for Python API verification and projection, enabling AI coding agents to detect non-existent APIs and retrieve exact API surfaces before writing code.

Verify-before-act safety tools for AI coding agents, providing MCP tools to check packages, lockfiles, manifests, and CI workflows for supply chain risks.

Behavioral verification intelligence for AI coding agents. Reads a TypeScript or JavaScript repo, clusters functions into 25 semantic workflows (Authentication, Payments, Webhooks, Caching, Queue, and more), and emits concrete adversarial probes per workflow. 17 MCP tools, local SQLite state, zero cloud.

Enables AI coding agents to verify code against YAML specifications, detecting missing fields, extra fields, and type mismatches to prevent silent drift before commits.

Provides index-free, read-only, multi-repo Git evidence for MCP agents, enabling prove-verify loops with git show.

Scans codebases for AI system usage and generates EU AI Act compliance reports.

Provides AI coding agents with dependency analysis, impact detection, and build verification tools.