"A search for engineering textbooks with charts, formulas, and graphs" matching MCP servers:

Enables local engineering workflow management by consolidating tickets, QA evidence, time tracking, root cause investigation, knowledge, and reporting into a single SQLite database, allowing generation of complete ticket packages for handoffs, dailies, or career evidence.

MCP server enabling Claude Code to capture screenshots of Windows applications through WSL2, allowing AI to diagnose UI errors and verify layouts.

Enables coding agents to load NASA-derived software-engineering rules before implementation, dynamically expand them as scope changes, and enforce an evidence-based final review gate.

Provides a local-first, governed MCP foundation where QA engineers can check server health and capabilities, read a status resource, use an orientation prompt, and validate non-secret configuration, profiles, and credential references without exposing secrets. External provider integrations, test execution, and release reporting are not yet implemented and remain scaffolded.

A validation layer for AI coding assistants that enforces explicit LLM evaluations on plans, code diffs, and tests to ensure safer and higher-quality code.

Enables building and evaluating LangGraph agents over a protocol-level MCP server to measure failure rates across four agent topologies.

Provides a hand-written MCP server integrated with a LangGraph agent to benchmark multiple agent topologies and measure their failure rates.

Enables autonomous software development by managing requirements, architecture, task dependency DAGs, isolated worker workspaces, execution, contract and integration verification, and checkpoints. It provides observable evidence gates so AI workers can build and verify software against reproducible contracts.

MCP-first A/B testing server that enables agents to manage experiments (create, update traffic splits, read results, apply winning variants) from tools like Claude Code, with self-hosted Cloudflare backend.

Provides a read-only MCP bridge that lets Claude Web inspect workspace files, git state, and recorded test results while Codex remains the sole executor of changes.

Enables controlled interception, review, and editing of web_search and fetch_page responses through a native desktop console, supporting live retrieval, synthetic or hybrid results, context sessions, and fault injection for AI agent robustness experiments.

Enables AI coding agents to safely integrate cross-border payments by providing structured payment knowledge, deterministic validation of idempotency, security, and state-machine rules, webhook testing, executable pytest generation, and diagnosis for Python/FastAPI Checkout projects.

Enables LLMs to interact directly with generated REST services by discovering and invoking CRUD tools and reading exposed resources for list and get-by-id data.

Checks MCP servers by URL, npm package, or official MCP Registry search, reporting availability, response speed, exposed tools, resources, and prompts. It flags changes since prior runs as breaking, warning, or info using saved snapshots.

Zero-sidecar MCP server embedded directly in the Godot 4 editor as a GDScript EditorPlugin — no Node or Python sidecar. Reflection-driven tools over any engine class, validate-before-write GDScript, scene/script/resource authoring, and a runtime play-test loop (play, screenshot, input, assert).

Provides a framework for running multiple MCP servers using FastAPI, stdio, and streamable-http transports, with an echo tool for testing and integration with MCP Inspector.

Validates .mcp.json and claude_desktop_config files to catch duplicate server names, missing binaries, invalid environment variables, and unreachable endpoints. Reports each problem along with how to fix it, so silently failing MCP servers can be diagnosed and repaired.

Enables users to query, create, update, and manage Digital.ai Agility assets through MCP tools, with secure Windows Credential Manager authentication and configurable write operations.

Enables agents to select bounded software features from REA investigation evidence, extract or reconstruct them, compare behavior against scoped references, and save reusable local function folders. It keeps unknown dependencies and verification records explicit.

Enables AI assistants to operate directly inside a running Unity Editor project, creating scenes, generating scripts, simulating input, capturing screenshots, inspecting performance, and automating editor tasks through its built-in tools and resources.

Enables MCP clients to retrieve lab performance scores and field Core Web Vitals data for web pages via Google APIs.

Generates a pytest suite from acceptance criteria withheld from the coding agent, so the tests can disagree with the code; qikly_run never returns the criteria. The CLI also scores an existing suite by planting faults, and ships as an agent Skill (qikly --install-skill). Runs locally (uvx --from "qikly[mcp]" qikly-mcp): your code and API key stay on your machine.

Free, MIT-licensed MCP testing harness with Jay: risk-based testing workflows, exploratory and regression checks, accessibility investigation, bug triage, disposable demos, and protected local evidence reports. Runs locally via @testers-ai/carbon-mcp; the coding agent supplies model, browser, and shell access, and analytics defaults off in the npm edition.

MCP server that brings Trustabl static reliability scanning into Cursor, letting agents inventory agents/tools, flag risky patterns, score production readiness, and write SARIF reports.

Enables reproducible evaluation of AI coding agents by exposing repository inspection, code editing, test running, and deterministic verification through MCP tools.

A reference MCP server that enforces identity-aware tool access using role-based permissions (Reader, Analyst, Auditor) and supports multiple identity routes like Entra RBAC, Copilot Studio, and Okta XAA. It provides read-only access to test evidence with explicit denial paths for unauthorized tools.

Windows桌面截图与窗口自动化工具，支持后台操作、不抢焦点，可截取窗口/屏幕、模拟鼠标键盘、点击菜单等。

Zero-dependency MCP server and CLI that proxies, inspects, and analyzes JSON-RPC message streams between MCP clients and servers.

Checks the outcome after an agent handoff, when a request, 200 or ack only shows the handoff. Reads one field of one exact public HTTPS JSON record, with a same-site known-good control, for 20-120 s. Returns PROVED, DISPROVED or INCONCLUSIVE with a signed receipt you can verify. 5 free checks, then USD 1 per completed check, by card (Stripe Checkout) or existing Link wallet. INCONCLUSIVE is free.

Enables checking npm packages for known security vulnerabilities using the OSV API before installation. Supports both single package checks and bulk vulnerability scanning for multiple packages at once.