"Finding solutions for computational mathematics or engineering problems" 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.

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.

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.

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.

An AI-powered security audit tool that analyzes codebases for vulnerabilities using real-time MITRE CWE data and npm audit. It enables users to perform comprehensive scans for authentication issues, exposed secrets, and dependency risks with structured remediation steps.

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).

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 AI agents to send a placed KiCad PCB to a hosted autorouter and receive the same board with tracks, vias and copper pours added, along with SVG layer previews and a JSON manufacturability report covering DRC errors, shorts, JLCPCB capability and copper heat. It also supports pre-flight checks, job listing and status, report retrieval and board snapshots, with a free no-key trial for small boards.

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.

Provides an isolated workspace for testing candidate code, runs tests, and returns deterministic pass/fail verdicts. Enables automated grading of software engineering solutions by ensuring reproducible test runs.

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.

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.

Your proactive chaos engineering companion that analyzes infrastructure code and designs targeted resilience experiments before problems occur.

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.

A simple server implementing the Model Context Protocol (MCP) that echoes messages back, designed for testing MCP clients.

Enables AI assistants to surgically extract and analyze code, reducing token usage and costs by up to 200x compared to reading entire files.

Bridges AI models with WinDbg to analyze Windows crash dumps and perform remote debugging through natural language queries, enabling execution of debugger commands and automated crash analysis.

Enables LLMs to perform browser automation tasks including web scraping, taking screenshots, and executing JavaScript using Playwright. It facilitates real-time interaction with web pages and the generation of automated test code.

Enables an AI assistant to inspect, validate and step-debug Cardano transactions and Plutus scripts, including finding failing redeemers, explaining ledger/CBOR/CDDL errors, decompiling UPLC, and opening highlighted problems in cquisitor or de-uplc-web.

Lets any MCP client, such as Claude, browse attack suites and probes, run a full assurance assessment with all reports written out, send custom prompts or multi-turn histories and get leak, PII and refusal checks back for adaptive attacks, and read findings from an earlier assessment. This enables agent-driven red-teaming of a chatbot, RAG app or AI agent without leaving the chat client.

Enables automated access to LeetCode problems, contests, solutions, and user profiles across both leetcode.com and leetcode.cn, with optional session-cookie authentication for private notes, progress tracking, and code execution or submission. It can run locally over stdio or as a Streamable HTTP server for remote integrations.

Enables agents to discover, search, compare, and inspect tested MCP tools by problem or keyword, with certification verdicts, scorecard summaries, certified scope, and explicit not-tested details.

Enables agents to inspect web pages for Cloudflare Turnstile challenges without an API key, and clear Turnstile or WAF challenges using a SolveGate API key.

Free MCP tools for context engineering audits of AI agents, offering on-demand analysis of system prompts, tool definitions, and context packing.

Enables AI agents to hire real human operators for tasks requiring physical presence, human perception, or judgment, such as verification, testing, data collection, and physical-world tasks.

Read-only MCP server that exposes the agentic-os governance, SDLC, and Quality Engineering methodology to any MCP host. It never writes to your repository and never executes code — it serves the methodology, plans an install, and verifies it, handing any commands back to the host to run.