Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push.
Generate and run tests.
Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push.
SplitHub as MCP tools for Claude Code, Cursor and Codex: run A/B experiments on websites and apps, read verdicts, and read analytics, funnels, paths and retention.
In-memory, stdio, and HTTP MCP test harnesses.
This web browser has been designed to help your agent debug and develop complex web applications.
Run typed commands against a running app from a CLI, an MCP server, or the Metro dev tools, and keep the app's features reachable with lint and dependency-cruiser rules. Knows no UI framework.
MCP server that exposes MCPLab evaluation tools — query runs, results, and traces via the Model Context Protocol
MCP adapter for the shared ours daemon, with application-local identity bookkeeping and secure agent-to-agent messaging tools over stdio.
PreMan CLI and stdio proxy for PreMan's hosted MCP server
SiteLens Browser Intelligence via MCP + CLI: browser automation, observability, diagnostics, visual regression, and evidence—Local Playwright browsers, flows/scenarios, Playwright Codegen to SiteLens flows, optional Cloud/API; no Docker required
Test iOS, Android, and web apps with agent exploration, replayable flows, and CI gates.
MCP server that lets your coding agent read FlyTrap crawl results: bugs with evidence, screen graphs, network hosts, SDKs and build diffs for your own apps.
Borrow a tab from your own logged-in Chrome, hand it back; 2FA and CAPTCHA stay yours. 67 tools.
MCP protocol client, transports, and process lifecycle for MCPeak
CheckView MCP server for managing tests from AI coding assistants
MCP Server for Swagger/OpenAPI documentation and API testing
Zero-config decentralized agent-to-agent communication. Agents npm install, connect, and talk — no servers, no accounts, no surveillance. Built on libp2p + IPFS with encrypted P2P mesh networking, viral content pinning, and automatic peer discovery.
MCP server for Digital.ai Testing — device farm, app lifecycle, test runs, reporting and analytics, performance, live mobile and browser inspection, and test authoring
Model Context Protocol server and tools for agent-qa authoring and triage.
Mobitru MCP Server - Bundled distribution for mobile device automation and web browser testing with Mobitru cloud platform
Licensed local MCP server for semantic Playwright E2E testing