"Land Rover" matching MCP servers:

Pre-commit norm gate for AI-generated PRs — enforces coding and contribution norms, blocking violations before they land.

Enables AI agents to query the deno.land/x third-party module registry for module metadata, version lists, individual version details, search results, and best-effort dependency information. It provides keyless access to these registry lookups through MCP tools.

MCP server for overseer.nvim — gives any MCP-capable coding agent running inside Neovim (Claude Code, Codex, Gemini CLI, opencode) the same visibility and control over tasks the user has: list, run, tail, restart, stop. Agent-started dev servers land in the user's own task list instead of becoming invisible orphaned processes.

Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.

Local stdio MCP server (npx -y caveat-lang mcp) with five tools that validate, check, test and explain programs in Caveat, a rules language whose decisions keep their evidence, grounds and caveats. It also finds what depends on a piece of evidence, so a withdrawn input still leaves a past decision's original basis on record.

Compare service-grant changes, tool alias origins, and saved MCP tool definitions with Gooo rules. Reports preserve incomplete-capture uncertainty and source bindings. No grants are applied and no compared tools are invoked.

Relays a result screenshot to Slack so you can review a coding agent's output without opening the app.

Enables document conversion between PDF, DOCX, and Markdown formats to facilitate reading and editing complex files in AI tools like Claude Desktop or Cursor. It utilizes marker-pdf and pandoc to provide structured text versions of documents, helping to manage context and support unsupported file types.

Enables AI assistants and applications to search, retrieve, batch-fetch, browse, and extract code examples from live Maps SDK and Cloud REST API documentation, with cross-SDK lookup and recency tracking.

Enables a planning agent to delegate research and implementation to lower-cost worker models in isolated git worktrees, monitor job progress, respond to blocked jobs, and land verified changes for review.

MCP server for Noir development that clones and searches Noir documentation, standard library, examples, and community libraries.

Enables AI development environments to call the Diffblue Cover CLI tool to automatically generate unit tests for Java code.

MCP server for the Lando Labs Design System, enabling AI agents to introspect and generate code for React components, hooks, icons, design tokens, and theme presets via 15 tools.

Checks MCP servers by URL, npm package, or official MCP Registry search, reporting availability, response speed, exposed tools, resources, and prompts. It flags changes since prior runs as breaking, warning, or info using saved snapshots.

Local execution gate and stdio MCP proxy for AI agents, with tool policies, expiring leases, approvals and operator kill. Starts with two read-only setup tools; protection requires a trusted downstream server and private operator configuration. Not an OS sandbox. Apache-2.0.

MCP server that exposes GDB debugging as tools. An AI assistant can set breakpoints, run programs, step through code, inspect variables and memory, and examine registers — all via structured tool calls. Reverse debugging with rr is also supported.

Language-owned MCP gateway and execution-host coordination for Hara, exposing read-only tools for runtime introspection, evaluation, calls, and checks, with an optional deterministic test fixture for development.

Just to be clear about the final JSON: the MCP server is named herdr-inbox, and it enables Claude Code agents in herdr to ask questions asynchronously without stalling, with all open questions answered from one popup and answers routed back to the asking agent.

Enables CLI agents to detect and remove dead code, manage complexity, and enforce hygiene rules in TypeScript/JavaScript projects through tools like scanning, cleansing, and reporting.

A project-aware AI design and code review server that uses dual reviewers via OpenRouter to catch context-blind errors in AI-generated code, optionally integrating with Serena for long-term project memory.

Enables AI assistants to search and retrieve documentation, component specs, theme guides, and CLI commands for the Meta Astryx Design System, providing structured tools and guidelines for coding agents.

Provides random number generation utilities, including a secure UUID generator powered by Node's crypto module.

The toolchain of Renyi, a programming language for AI agents: check, format, run and test programs, and read the project map with every function's effects, semantic diffs and chunks for retrieval. One binary, renyi mcp.

Enables exploration and computation of mathematical integer sequences from OEIS using the LODA assembly language. Supports sequence discovery, program execution, algorithmic mining, and real-time computation of mathematical sequences.

Monitor failing GitHub Actions workflows, auto-fix them with OpenCode, and retry the run — driven by a workflow_run webhook, coordinated through an MCP server.

Enables AI models to interact with the Upsprints API for managing users, companies, projects, and tasks, including generating Software Design Documents (SDDs) from tasks via read/write tools and webhooks.

Enables AI agents to break down complex tasks into manageable pieces using a structured JSON format with task tracking, context preservation, and progress monitoring capabilities.

Enables autonomous agents and developers to pay per call in Base USDC to run formal cryptographic invariant verification, including vault rounding, Polymarket solvency, ZK witness uniqueness, and differential consensus checks using Z3 SMT and bounded algebraic solvers.

Enables AI assistants to interact directly with Roblox Studio to explore project hierarchies, edit scripts, and perform bulk object manipulations through over 37 specialized tools. This enhanced fork features long polling for near-instant responses and improved support for script editing and attribute management.

Enables generating secure passwords, exposing password policies, and providing reusable prompt templates for secure password creation through MCP primitives.