Developer Tools & Repos MCP Servers for Grok Build

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

Lightweight Windows MCP server for Claude Desktop - shell, files, search, processes, system info, and interactive sessions

Baklib MCP Server - Model Context Protocol server for Baklib API integration (DAM and Knowledge Base)

Sophisticated bash command MCP server that runs and manages shell execution.

MCP server that wraps CLI tools and returns structured JSON instead of raw text output