"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

Tamper-proof audit trail for AI decisions. 6 tools to record, verify, and export cryptographic proof chains via MCP.

Verifies blockchain-anchored timestamp proofs entirely on the user's machine, with five tools: hash a file, verify a file against a proof, verify a known hash against inline proof data, explain what a proof asserts, and create a new proof through ProofLedger. Verification recomputes the SHA-256 and walks the Merkle path locally instead of asking the issuer; only create uses the network.

Deterministic US equity-compensation tax optimizer. Six tools cover ISO/AMT exercise scheduling, NSO sell-vs-hold, RSU vest-and-sell, single-stock concentration, protective put / zero-cost collar pricing, and Section 1202 QSBS qualification. Federal plus 50-state plus DC tax math.

Provides comprehensive GDPR compliance assessment tools for AI/ML systems, including lawful basis determination, DPIA generation, and data subject rights handling. It also crosswalks GDPR requirements to EU AI Act obligations with AI-specific considerations throughout.

A server for querying, practicing, and analyzing exam questions from Taiwan's national examinations, offering 20 tools including search, statute lookup, weak topic review, and readiness assessment.

Enables deterministic verification that all required license compliance artifacts have been delivered for a release decision, using hashes and obligation codes without exposing license bodies or scanning packages.

Enables interaction with biometrics AI features, including risk management, transparency, bias detection, and compliance tracking, all compliant with the EU AI Act.

Provides AI assistants with locally bundled tools to explore NIST OSCAL models, retrieve schemas, list community resources, and generate valid OSCAL templates for governance, risk, and compliance workflows.

MCP server for EU AI Act compliance in employment AI, featuring built-in risk management, bias detection, transparency, and FRIA support.

MCP server providing EU compliance APIs for VAT validation, sanctions screening, counterparty checks, and invoice extraction. Enables AI agents to make pay-per-call requests settled in USDC on Base via x402, with no account or API key required.

Enables evidence-driven motor-carrier search, qualification, risk assessment, monitoring, and TMS integration directly from Claude Code and MCP clients.

EU AI Act · APRA · NIST AI RMF · ISO 42001 · AU AI Safety — grounded compliance citations for any MCP client.

AI Bill of Materials compliance tracking and SBOM generation for AI/ML systems

Enables EU AI Act compliance assessment by classifying AI systems, listing obligations, computing deadlines, and scanning repos for required documentation, all running locally.

Enables AI-powered real estate analysis with built-in EU AI Act compliance, providing a production-ready MCP server for property insights and governance.

Public-record corpus of AI litigation, regulation, and enforcement, anchored to EveryAILaw.

An MCP server for anti-money laundering (AML) compliance, including customer due diligence, transaction monitoring, and SAR filing, compliant with 6AMLD, UK MLR 2017, and FinCEN.

Provides AI governance controls as MCP tools for safety screening, risk classification, and red teaming of AI systems, returning structured governance reports.

An MCP server for AI economy infrastructure with built-in EU AI Act compliance, supporting risk management, transparency, and bias detection.

Contract Review AI - MCP server providing AI-powered tools and automation by MEOK AI Labs