Phone numbers for AI agents: SMS verification codes and rented numbers that receive SMS.

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

Verification of signed records, plus an EU DPP check.

Paid agent work and paid verification, settled in USDC. Verified outcomes get signed receipts.

J-Space Cognition Suite — a model-agnostic inference-time control suite for deep reasoning, long-horizon work, verification, and recovery. Based on Anthropic's J-space global workspace research.

SRE thinking applied to Claude Code, based on Boris Cherny's Q&A. It enforces a strict 4-stage pipeline with gates between each step. You literally cannot skip verification. You cannot ship without approval.

Thea Software is an engineering verification layer for AI agents that binds code changes to explicit validation commands. It bridges conversational models to robust software runtimes, enforcing automated build checks so that code drift and unverified changes are actively rejected.

Enables AI agents and IDE assistants to run zero-config security audits, detect secrets and vulnerable dependencies, and apply adversarial verification to reduce false positives.

Enables MCP clients to review Ceramic and ordinary websites with desktop/mobile browser QA, deterministic design and accessibility checks, optional visual judgement, and repeatable fix verification backed by preserved screenshots and reports.

Enables MCP clients like Claude Code, Codex, Cursor, and Claude Desktop to search, read, and download attachments from NetEase mailboxes (163/126/yeah.net/188), wait for verification codes, and create drafts or send and move messages only after a two-stage preview and confirmation, with readonly, draft, and full permission modes.

Enables vendors to run a declared check battery against their own MCP server, emit sealed Assay-format scorecards with evidence hashes and environment fingerprints, and have a local verifier re-run a random sample to issue counter-signed verification receipts.

Enables agents to execute shell commands and upload/download files on remote Linux hosts over SSH/SFTP with just two tools, returning structured, verifiable results such as exit codes, separated stdout/stderr, timeout and truncation flags, and the current working directory. Supports connection reuse, host alias resolution, host-key verification, and cross-call session state so multi-step work needs fewer calls.

GodPrompt MCP server + portable Agent Skill for coding agents — TDD, debugging, verification gates, task routing, and progressive disclosure.

Planu — MCP server for Spec Driven Development. Planning and file operations on macOS/Linux/Windows; automated verification requires macOS/Linux (POSIX).

Enables Claude to offload bulk reading, first-draft writing, and mechanical edits to a local or OpenAI-compatible model, with code-enforced verification, staged patches, project checks, and token budgets to save tokens and cost.

Enables read-only access to Percona Monitoring and Management 2.x through PromQL metric queries and Query Analytics, so clients can list monitored databases, surface the slowest queries, inspect query details, and run validated SELECT queries against QAN's ClickHouse data. TLS verification, input validation, and Viewer-role tokens keep access strictly observational.

Enables exhaustive, unit-by-unit analysis of open-source repositories through MCP, cataloging every file and symbol, resolving dynamically built routes and URL paths, and mapping call and value flows via LSP and Joern. Every conclusion carries file:line evidence tied to a pinned commit, with unresolved items tracked in an unverified list and assigned verification grades L0–L2.

Enables an AI assistant to read raw source text and propose FollowTheMoney records into a hydra archive, checking them against the archive's schema and existing entities, linking rather than duplicating, and storing the text as the cited evidence. Supports drafting, dry runs, saving, read-back verification, image hints and archive creation while leaving uncertain judgments to human review.

Enables AI coding agents to manage agile boards and notes, including cards, epics, sprints, labels, progress and verification records tied to commits, human-reviewed criteria and decisions, and Area documentation.

Enables reading public WeChat articles through HTTP text extraction with metadata, pagination, and image links, automatically falling back to a visible Chrome window when a verification page appears so the user can complete any captcha manually.

Enables natural-language control of Siemens NX 12 for 3D modeling, 2D drafting, tolerance annotation, process planning, read-back verification, and PDF export through a persistent NXOpen bridge.

Enables AI assistants on Windows to inspect, edit, and save CorelDRAW documents through COM, including template-driven batch generation from CSV/Excel data and post-save verification.

Planu — MCP server for Spec Driven Development. Planning and file operations on macOS/Linux/Windows; automated verification requires macOS/Linux (POSIX).

MCPCAN is a centralized management platform for MCP services. It deploys each MCP service using a container deployment method. The platform supports container monitoring and MCP service token verification, solving security risks and enabling rapid deployment of MCP services. It uses SSE, STDIO, and STREAMABLEHTTP access protocols to deploy MCP。