Developer Tools & Repos MCP Servers for Zed

MCP server that saves X (Twitter) Articles as Obsidian-faithful Markdown with locally-downloaded images and video. One tool: xarticle .

CLI + MCP server that indexes local codebases into Qdrant using OpenAI-compatible embeddings, then exposes semantic search to Claude Code

ACAD methodology MCP server — diagram validation, doc bridge, test/lint runner

Read ACPI tables from a live QEMU guest or files and explain them for OS developers.

MCP server for testing GitHub Actions workflows locally using nektos/act

MCP server that auto-generates Architecture Decision Records from Claude Code conversations using Claude Opus

MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model

MCP server for AgentDesk AI-to-AI Service Marketplace. Quality review, service catalog, and marketplace execution — all via MCP tools.

UPLO MCP Server — Organizational knowledge for AI agents. 21 tools for searching, querying, and exporting structured organizational context.

CLI for LLM agents to interact with communication and tracking services

Local-first codebase intelligence for coding agents: indexes code and Git history into SQLite.

MCP server: multi-track PR reviews from local git diffs + Anthropic/OpenAI (not GitHub API)

AI programming verification platform. Makes AI code generation results verifiable and trustworthy. MCP protocol native support, evidence-dri

Generate MCP tools from any Solana Anchor program's IDL — let AI agents read & simulate its instructions with zero per-program code.

adb/uiautomator-backed Android automation MCP server

MCP server that helps AI assistants understand website animations via Playwright, pluggable detectors, and frame capture

C4 architecture MCP sidecar — TOML under docs/, Rust write queue

Fully-local, architecture-aware code-navigation MCP server. tree-sitter breadth + a repo-declared architecture vocabulary answered live.

Model context protocol server for validating ARIA (Accessible Rich Internet Applications)

A Model Context Protocol server for generating ASCII charts directly in your terminal.

askme-cli MCP server that collects user's next plan or confirmation through terminal window