evgwpw
Computer algebra with verifiable answers
CodingLocal
Loading MCP servers…
Showing 1,921–1,968 of 3,099
Computer algebra with verifiable answers
Showing 1,921–1,968 of 3,099
Read-only offline MCP server over a curated Shopware developer knowledge base
Read-only Exeris context for AI agents: ADRs, SDK contract, build output, kernel diagnostics.
Build, run, inspect, and publish browser extensions from any MCP client. 38 tools, 13 browsers.
Compile SOPs, policies, and playbooks into source-grounded visual flowcharts (SVG, Mermaid, JSON).
Indonesian regions (provinsi to desa) with Kemendagri codes: search, details, children, validate.
Check exact npm/PyPI upgrades for evidence-backed breaking changes; query APIs and components.
Verified tool calls for Claude Code: verify, retry and fallback over hermetic claude calls.
Compile a LaTeX page, see it rendered, map a PDF point back to source, and diff builds.
Report local task-scoped test and build residue without cleaning resources.
Capture website screenshots from any MCP client via the ScreenshotRender API.
Caller-side T1/T2 heterogeneous validation MCP server. Stdlib-only Python.
Memory for coding conventions and standing instructions that persists across sessions.
Deterministic verification for AI coding agents: catches invented APIs and wrong calls.
MCP server for the GitHub CLI (gh). Read-only by default; single Go binary.
MCP server for GitHub: repos, files, issues, PRs, search. Single Go binary.
Web production tools for AI agents: contrast, JP text, WebP, JSON-LD, slugs, dates and 40+ more
Delegate bulk code edits to a cheap worker model. Gated, atomic. PHP and Python.
Schema-aware relational test data generator with working foreign keys, for any MCP client.
Drives a real Chromium browser: navigate, click, type, read pages, OCR, QR, network capture
Starter kit for small businesses: A2A agent card, MCP server card, example MCP server, validator.
Safety-first Git MCP server: rich read tools plus human-approved FluxGit operation proposals.
Let your AI agent use your real iPhone or Android phone, with your OK before anything is sent.
Resolve a developer profile to exactly one project blueprint and return its CI-tested setup recipe.
Source-grounded Quickshell, QML, and Qt documentation, examples, and real-world implementations.
MCP server for Sentry — error tracking, issues, releases, events, and projects for AI assistants.
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Permission-aware onboarding MCP server: answers about a codebase, filtered by the caller's role.
Selenium MCP server for AI agents — 41 browser automation tools with snapshots and sessions.
MCP server exposing Galaxy UI components — manifests, source code, and framework coverage
Exact matrix calculations with step-by-step results for six core matrix operations.
Launch, inspect and stop multiplayer game server sessions on Gameye from any MCP client.
Drive Java desktop apps from an AI agent, through the JVM's own accessibility tree
Drive Gearotons M17 open-source servomotors from plain English over RS-485; mock mode, no hardware.
MCP server for GemsMakers precision scientific, horology, and engineering calculators.
Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
Mobile QA on local Android Emulators and iOS Simulators: autopilot tests, evidence, reports.
Lint and fix Odoo addons: pylint-odoo and OCA checks, translation files and upgrades.
The top conversion fix from real visitor sessions, with file and line, checked after you ship.
Repository-owned engineering pattern intelligence - 19 MCP tools over stdio.
Find what a stuck Go program is waiting on from a goroutine dump, with no connection to it.
Search, rank, and analyze GitHub developers for tech recruiting via GitHunt's API.
Screens public GitHub repos and PRs to generate risk maps, findings, and merge-readiness signals.
The shared AI context engine for git — save, search, and share the reasoning behind code changes.
Localize apps from your AI assistant: translate locale files, set glossaries, connect GitHub repos.
Check how long ago a package version was published before an agent adds it, in 20 ecosystems.
Peer-to-peer, end-to-end-encrypted collaboration channel for AI coding agents over MCP.
Run local prompt regression checks from prompt-response logs in AI coding assistants.
