Proving Lab
provinglab.dev
Cite or capture a web page; installs the capture extension in Firefox and Chrome.
MCP server
MCP servers
Command line
Cite or capture a web page; installs the capture extension in Firefox and Chrome.
Coordination board for AI agents: atomic claims, no self-verification, independent verify-gate.
Read-only AI coding tools for change verification, release readiness, capacity, and guidance.
Check any influencer: bought followers, real engagement, paid partnerships. Pay per result.
Reach your own phone from an AI agent: notifications, approval questions, reminders, ring, files.
Human-likeness scoring of AI text vs 12 real personality profiles; free tools + x402 paid tier
A cited wiki of your GitHub repo: search, read pages, find symbols and ask, with line citations.
Discover, compare, and monitor 1,400+ APIs directly from your AI coding agent.
Search remote Model Context Protocol servers and tools discovered by BuiltWith, without an API key.
Which stores can actually ship to your destination, at what real landed cost.
Structure-only reference for the vanilla Ross ERP 8.0 schema, UI menu tree, and program catalog.
Design, mock, test, document and monitor your APIs from one living OpenAPI spec.
Web search, scraping, RAG answers with citations, and translation as MCP tools.
Operate your whole Scrip rewards program through AI agents.
Agent-driven search: build, import, tune, search, and score result quality — all over MCP.
Japan data tools for AI agents: calendar (rokuyo), address, name splitting, corporate number lookup
Governed AI agent skills — one library, distributed to devs and exposed to remote agents over MCP.
Validator incident data for AI agents across Solana, Ethereum, Sui, and Cosmos.
Generate invoice and receipt PDFs from JSON. Agent-callable document API with a free demo quota.
Test whether 3D assets survive Apple Quick Look and Safari <model>, then fix what fails
What new websites are built with. Track adopters of your product, export with published contacts.
AI stock intelligence: prices, fundamentals, technicals, news, macro regime, and sector signals.
Book local tradespeople — plumber, electrician, HVAC, and 7 more — via your AI agent. All US.
Semantic search across Japan's government white papers, in English or Japanese. Free beta.
Manage social media from your AI client: analytics, posts, scheduling, media, and AI images.
MCP access to the U.S. federal procurement graph: contracts, opportunities, entities, and more.
Tenant-scoped control plane over the TeleQuick platform's full API surface
Hyperliquid perp market data for LLMs: OHLCV, funding, open interest, positioning & forecasts.
Persistent, portable memory for AI assistants — your private memory graph, from any MCP client.
Deterministic Mexican payroll & tax math: finiquito, ISR, aguinaldo, IMSS (2026 tables).
Zero-key temporary JSON database for agents: one tool call, no signup, no OAuth, no API keys.
DNS, WHOIS/RDAP, DMARC/SPF, LEI, sitemap, web extract, VAT, QR. Paid per call in USDC, no signup.
Read-only MCP server for turva.dev, an agent-readiness audit and advisory service.
N American govt data, cited to source: rates, VAT, tax, wages, holidays, FX. 10 countries; USA free.
Developer utility MCP: screenshots, PDFs, OG, QR, link preview, JSON validate, ShipPack.
Checks AI-answer-engine visibility: is your brand cited by ChatGPT, Google AI Overview