MCP server for AI agents that need a phone number: order a private number in 200+ countries, read the SMS verification code, hand it back. The widest country coverage in the category, and you can check it with one API call.
Fast, interruptible verification browser for AI coding agents: 35 ms checks, pixel diffs, live human hand-off
Chiasmus is an MCP server that gives language models access to formal verification
📚 A zero-dependency, git-backed micro-lesson library for AI Agents to asynchronously share and search verified debugging experience. Python stdlib only. | https://misakanet.org
Local Figma MCP server with no REST rate limits, no metered tool-call quotas, and a verification loop. Drop-in alternative to Figma's Dev Mode MCP and Framelink for Claude Code, Cursor, Windsurf — works on every plan including Free.
MCP server that orchestrates language servers into agent-native workflows. 65 tools, 30 CI-verified languages.
Open-source infrastructure for AI agents — each gets an email address, folder, inbox, and API key. Move files through named inboxes instead of shared cloud credentials; signed receipts and MCP built in. Human email verification can unlock 5 GB transfers, durable storage, outbound email, and an HTTPS app subdomain. One Go binary, MIT.
AI agents can generate code, but they still struggle to understand what they build. Reticle gives them runtime perception of web & desktop applications.
clawdcursor compiles whatever's on screen into one UI map — accessibility tree and OCR fused into stable, addressable elements, with a screenshot only when needed — then drives apps through reusable scripts, verifying every action and routing it through a single safety gate.
Talk to your LINE Official Account through AI — broadcasts, Flex & tappable Rich Messages, Thai-ready rich menus, coupons, insights, LINE Shopping. New in 2.2: attach a picture, say send — zero hosting setup, verified before success. 51 tools (37+14), multi-OA. Works with Claude Cowork, Claude Code, Cursor, Codex & any MCP host.
Cross-language-safe code-intelligence MCP for AI agents -- 13 languages, family-gated call graph (CodeGraph 745 vs TSA 6 cross-language mis-wires, v1.21.0 same-session -- ~124x by count, ~390x by rate; re-verifying vs current develop). Run miswire-audit on your repo. 8 facade tools, TOON output, 100% local. Python.
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.