Trust & verification MCP servers

6 runtime tools: 2 HemmaBo tools, 2 host onboarding tools, and 2 VRP verification tools. Not an OTA.

Builds S1000D data modules from structured drafts, verifies them, applies only unambiguous fixes.

Read-only IBKR MCP: account, positions, brief, regime, stress, reporting, Edge, and risk.

Read S1000D data and publication modules as structure, with applicability and verification status.

Validate S1000D data modules: XSD, BREX chain and reference resolution as one verification status.

Free desktop CAE: import CAD/STL, solve FEM structural/thermal and CFD, verify the answer.

Epoch time estimation MCP server for PERT, COCOMO, Monte Carlo, calibration, cost, and risk.

Model, measure and verify parametric parts and assemblies in a running SolidWorks (Windows).

Stdio MCP: 17 verifiable AIMarket oracles, 35 pay-per-call tools for AI agents.

Adopt, read, verify and record an Open Entity identity (OEIS-1). No auth, no CAPTCHA.

Drafts a network allow list for agent tools and runs them in a network-blocked sandbox.

50 starter MCP tools for AI compliance and trust: identity, escrow, SLA, EU AI Act.

Free x402 preflight gate plus paid on-chain truth checks for AI agents.

Verified React chart generation: select, validate, repair, render, and inspect charts through MCP.

Author, render and visually verify Manim math animations from natural language

Verified real-time places, events & walkable itineraries for AI agents nationwide. 40 tools.

Inspect and verify Windows x64 desktop apps through a local, read-only-by-default MCP server.

AI-native programming language and toolchain for accountable, verifiable agent-driven development.

Risk-check counterparties before an AI agent pays; pay x402 resources only after a verified allow

AutoCAD MCP/CLI for agents: native CAD, views, proxy reads, verified writes and saves.

Sourced trail facts. Tiers verified-official, reported-secondary, or unverified. Gaps stay empty.

BMW E46 M3 DME backups and E46 cluster M35080 EEPROMs: read and verify, read-only, locally.

Kenya savings and investment guides: T-bond calculator, NSE, unit trusts, diaspora. Indicative data.

Send, receive, and verify faxes from AI assistants and agents via FaxSeal.

Single-connection MCP & A2A gateway indexing 490+ verified tools with x402 & MPP settlement.

Verify the artifact, meter the cost, enforce the mandate — one call.

Verified free AI credits, free tiers and startup programs, each with source link and verified date.

Score repos for launch and agent readiness, find verified agents, read collaborations. Read-only.

Build and verify CAD parts and assemblies with the ClassCAD engine, locally, no server needed.

A deterministic verification engine for agents. Proves a fix: fails on the old code, passes on new.

Verify REWORK credentials: is this delivered work genuinely the author's?

Decode JWTs without verifying, flag risky algorithms and claims, verify HS256 or RS256 with a key.

Check any x402 endpoint before your AI agent pays it: trust grade, verdict, and hijack checks.

PKI MCP server: inspect, verify, issue, sign X.509, CSR, CRL, OCSP, CMS, TSP, PKCS#12. 34 tools

100 systems and hardware engineering skills for requirements, interfaces, budgets and verification.

100 systems and hardware engineering skills for requirements, interfaces, budgets and verification.

Create and verify pixel-art assets with atomic Aseprite edits and Phaser export.

Give your AI agents trusted access to the full Postman platform.

Verified, citable world numbers right now, each with a public tick and SHA-256 fingerprint.

Dividend-adjusted US equity total returns, risk decomposition, attribution & ETF hedge ratios

Discover x402 endpoints and check their trust score before your agent pays them.

LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.

Ask fifty verified people a five-second question and see what they think.

Free read-only Base Mainnet transaction Preflight and Verification; no signing or custody.

Help open-source contributors earn maintainer trust: repo rules, briefs, and pre-submit checks.

What changed, what died, what it costs, what survives: 8,000+ AI tools, verified and dated.

Verifica RFCs contra las listas del SAT (69, 69-B EFOS, 69-B Bis, CSD): veredicto de riesgo fiscal.

Add a text box that proves a human typed it, not AI. Code for any framework; verify proof tokens.

IP intelligence lookups and FindIP Shield visitor risk signals for AI assistants.

Verifica partita IVA, codice fiscale e IBAN italiani con dati ufficiali (VIES, IPA, ISTAT)