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 cognitive coprocessor with active memory for AI agents — persistent recall, semantic search, overnight dreaming, verified facts, encrypted USB sync. MCP server; works with Claude, ChatGPT, and any local LLM. Built by one maker and his agents.

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.

Model Context Protocol (MCP) server for pfSense firewall management. Control firewall rules, VPNs, DNS, DHCP and diagnostics in natural language from Claude Desktop, Claude Code or any MCP client — 333 wire-format-verified tools for the pfSense REST API, with safety guardrails, config backup and rollback on every change.

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.

Give your AI agent accurate economic data. 330K indicators from FRED, World Bank, IMF, Eurostat & more. MCP server + web UI.

A local MCP runtime that attacks what you own and only reports what it proved. 17 CVEs across 9 projects came out of this repo. Install: npx -y hacker-bob@latest install /path/to/project, then run /bob-evaluate target.com