Audit, receipts & provenance MCP servers

Audits shipped apps for how easily they can be reverse engineered

Evidence-readiness MCP server: validate, audit, and score briefs, memos, and evidence packs.

Construct, inspect, visualize, and simulate evidence-backed ODE models with BioMASS

AI hardware synthesis: CircuitBlocks DSL, live LCSC parts, industrial DFX audit, stdio MCP server.

Read-only connectors; local writes. Evidence and assessments for agents. Only people approve.

Codebase understanding stored with its evidence, marked stale when that evidence changes.

Banco Central do Brasil (BCB): SGS series, Focus expectations, PTAX, stats + provenance. 17 tools.

Local cognitive identity engine with traits, behavioral evidence, and revision history.

Accountable autonomy MCP server: gating, tamper-evident audit for every action

Accountable autonomy proxy: gating, tamper-evident audit, time anchor for every action

LLM cost optimization gateway, repo token-waste auditor & model arbitrage MCP server.

Local-first YNAB MCP for reconciliation, receipt splitting, safe cleanup, and spending analysis

Free x402 offer/receipt checker: verifies signatures and whether the signer fits the host.

Verify AgentBook registration and operator attestations for agent wallets on World Chain.

Free WCAG 2.2/ADA/508 accessibility MCP: scan, AI fixes, verify, vision audit, localhost tunnel

The record layer for the machine age: counter-signed receipts and agent action records.

Audit your own smart-home devices: destinations, encryption, open ports, A-F grade.

Scans MCP server tool definitions for excessive agency, injection sinks, hardcoded secrets

Scans MCP server auth code for OAuth 2.1 anti-patterns: token passthrough, missing audience

Vet link sources before you submit, verify listings, and audit your backlinks for link spam.

From first signal to satellite evidence: live world-event intelligence and collection planning.

Witness layer for agents: signed receipts binding a fingerprint to a witnessed time. $0.001.

Runs coding-agent workers on a codebase question; every claim in the answer carries evidence.

One MCP endpoint for all your servers: a few meta-tools, Keychain secrets, sandbox, audit, OAuth.

Verify and settle VSL Settlement Receipts. Verification needs no network and no account.

Universal trust attestation for AI agents: create, verify, and negotiate Shuka trust proofs.

LLM cost optimization gateway, repo token-waste auditor & model arbitrage MCP server.

Find startup credits and deals; check eligibility and read Agent Readiness reports with evidence.

Local service recommendations for six providers, disclosed referrals and evidence checks.

Analyze C# complexity, inspect member evidence, and compare deterministic snapshots.

MCP control plane: discovery of servers, tools and skills, profiles, audits, gated tool gateway.

Mint, resolve, audit, and rotate scope-limited expiring access links (qURLs) for AI agents.

The verifiable work layer for AI. Every run returns a verifiable receipt. No key needed.

WALS typology joined with Glottolog classification, with provenance and family-aware counts.

Passive AppSec scanners as eight parameterless MCP tools; the audited repository is data.

Construction takeoff for AI agents: load plans, set scale, measure, count, export with provenance.

Offline receipt verifier. Ed25519 signature verification without contacting any server.

Local-first evidence tracking, formal logic checks and prerequisite planning for AI agents.

Proof-of-spend and reserve checks for AI agents: receipts, spend audit, NAV, reconciliation.

Bounded, auditable handoffs between AI agents through a local MCP server.

Query a measured identity: its rules, the evidence behind each one, and the topics they belong to.

Independent schema and rule check of AI agent output before you pay. Signed attestation and receipt.

Native reverse engineering with Ghidra and evidence on Apple Silicon macOS. Setup required.

Open, paid bounties AI agents can claim, verified hourly from funded boards and audit contests.

Screenshots, PDFs, visual diffs and accessibility audits, returned inline so a model can see them

Discover open-source repositories worth your time and evidence-backed contribution opportunities.

Signed checks of x402 sellers on Base and remote MCP servers, before your agent pays.

Append-only evidence receipts for AI records: seal, verify, cite, chain-check, anchor status.

Signed, publicly logged records of what your AI agent did, with proofs anyone can check offline.

Verification of signed records, plus an EU DPP check.