Drive a hosted ERIUS PHONE Android device: read the screen, tap, type, install APKs, get crash logs.
Loading MCP servers…
Drive a hosted ERIUS PHONE Android device: read the screen, tap, type, install APKs, get crash logs.
Showing 961–1,008 of 3,099
Self-hosted MCP server: pi-coding-agent tools (run_prompt, file ops) over streamable HTTP.
Apache JMeter community documentation, conversion tools, linters, and calculators for AI agents.
MCP server for Qingkuai (.qk) — docs search, syntax check, compilation, and formatting tools.
Runs physverify checks on physics code. It runs the code it checks: use on trusted code only.
Coding agents build full-stack apps in persistent workspaces and share them by link.
Read and resolve human feedback pinned on your live prototype, straight from your coding agent.
MCP server for browser automation with AI agent
Code quality analysis MCP server - detects security issues, deceptive patterns, and placeholders
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Score and improve your AI coding agent setup. Local-only, open source.
Isolated multi-session Chromium runtime for external MCP clients over stdio.
BYOK, fully local AI agent that tests your app/API and writes a real Playwright spec on success.
Drive a stealth-patched Chromium daemon: navigate, screenshot, eval JS, attach over CDP.
Turn Mac apps into MCP tools via the accessibility API: no screenshots, no model per step.
Persistent, evidence-backed code graph for coding agents.
A notebook your coding agents write to: notes that track the code's commit, and handoffs.
Python intent tracing MCP: map specs to pytest tests, monitor implementation progress, offline-only.
Universal LSP MCP server
Offline analyzers that find and fix intent-hiding, slow or noisy C#, including agent-written code.
Search 2800+ official TIA Portal chapters: blocks, instructions, data types, constants.
TIA Portal MCP gateway: let any AI agent create blocks, write SCL, compile and simulate.
Real-time GitHub Actions observability: DORA Metrics, Cost Analysis, CI/CD Health dashboards.
Complete web tasks in the user's own Chrome via an observe-decide-act browser agent.
MCP server exposing Google Antigravity (agy CLI / Gemini): jobs, codebase analysis, file tools.
Drive the iOS Simulator from an agent: read the screen, tap/type/swipe, replay flows in CI.
Debug and analyze Nanostores apps with AI: scan stores, monitor runtime events, and search docs.
Zero-dependency WebDAV MCP server — single static binary, no Node.js or Python. 8 tools via stdio.
Drive your real, logged-in Chrome from any MCP client — even from a remote machine, no inbound port.
Give your AI coding agent direct access to 2,198+ exercises via exerciseapi.dev
Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.
Drive the iOS Simulator from a coding agent, with every action verified.
Query a curated YAML semantic concept graph for codebase invariants and cross-cutting facts.
Debug STM32 firmware on real hardware via GDB + OpenOCD/ST-Link/J-Link with decoded results.
Draw on your website, let your AI agent see it. Visual context for code generation via MCP.
A 3D compiler for coding agents: objects, worlds and games as small recipes. Emits Godot and STL.
Read-only AI project discovery, verification, comparison, shortlisting, and stack planning.
Agent-built web app quality gate. Real browser is the judge. PASS/FAIL with receipts.
Deterministic code analysis harness giving AI agents senses, memory and judgment for code.
The static analyzer your AI agent reads — fix-ready, machine-readable scan reports over MCP.
ABC complexity gate for AI-written code with an MCP inspection tool.
Fast RuboCop-compatible Ruby linter with MCP inspect and autocorrect tools.
Hands work to another coding agent over ACP: Claude Code, Codex, OpenCode, Gemini CLI and others
Codemagic CI/CD MCP Server — manage builds, apps, artifacts, and caches from your AI
Rust development tools for offline context, compiler diagnostics, focused tests and Cargo execution.
AST-based semantic code search; results ship with their call graph (calls + callers).
Local symbol ground truth MCP server for Unicode lookup and code-symbol linting.
Human-in-the-loop approvals and notifications for AI coding agents through a local stdio MCP server.