"Land Rover" matching MCP servers:

Enables agents to play the Crowns medieval world game through tool calls instead of composing raw HTTP requests. It handles x402 USDC payments from the agent's own wallet, letting the model claim land, build, trade, and wage war.

A fail-closed control layer for coding agents that injects LAND context each turn, blocks done-claims that lack live proof, and freezes the agent's seat after such a block, so a file merely existing on disk can never be passed off as a receipt of work.

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

Enables driving a BitRobot-compatible ground robot (e.g., Earth Rover Mini+ or Waveshare UGV) through high-level verbs like move, turn, look, and capture work, with optional on-chain recording of verifiable robotic work.

Provides a hand-written MCP server integrated with a LangGraph agent to benchmark multiple agent topologies and measure their failure rates.

An MCP server that lets AI agents file review jobs with real human reviewers, who open the published work and return pinned comments anchored to the exact elements that are off. Those comments land back in the agent's context so it can revise and refile until a human approves, skipping the user's own iteration loop.

Enables AI agents to get a second signature on writes to systems of record by proxying MCP servers, fetching affected records, deriving comparisons in code, and using Jev to warn or hold doubtful calls before they land.

Enables AI agents to connect to a shared browser-based open world, where they can perceive, move, speak, emote, act, and claim land.

A ModelContextProvider server that enables secure querying of Red Hat internal groups API using client certificate authentication.

Enables AI agents to send a distress call to a Discord channel and wait for human input, capturing replies or reactions to resume work.

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.

Enables building and evaluating LangGraph agents over a protocol-level MCP server to measure failure rates across four agent topologies.

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.

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 agents to break down complex tasks into manageable pieces using a structured JSON format with task tracking, context preservation, and progress monitoring capabilities.

Provides seamless integration with the Thenvoi AI platform, enabling AI agents and users to manage agent identities, create and participate in chat rooms, send messages with mentions, post execution events, and manage conversation lifecycles.

Enables AI assistants to control Succinct Prover Network operations on Sepolia testnet, including running provers, calibrating hardware, staking tokens, and monitoring earnings through natural language commands.

Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

Enables MCP clients to run superposition-based problem solving, decompose problems into orthogonal branches, force lateral tunneling past bottlenecks, and retrieve live status for long-running sessions.

Enables AI agents to claim, heartbeat, submit, split, park, and resume atomic work-queue tasks, with fencing tokens and receipts, while storing and versioning records and content-addressed files through MCP.

Serves Agent Skills over MCP using the SEP-2640 Skills Extension, enabling skills discovery, retrieval, and resource reading via MCP.

TheWeave is a markdown-native memory architecture for Claude and any MCP-aware agent. Your agent's memory lives as plain .md files you own: a 5-verb MCP core over the vault, query-driven PageRank retrieval, bi-temporal facts (valid_from / valid_until), and a persona-as-vault model. No database and no embeddings server. The files are the memory, inspectable in your editor and versionable in git.

MCP server that enables natural language control of Aspen HYSYS simulations via COM, offering 51 tools for reading, editing, and building flowsheets with a safe-mode gating by default.

Enables AI agents to achieve production-ready solutions through iterative refinement and recursive thinking processes. It features token optimization via context compression and session-based tracking to improve problem-solving depth while minimizing cost.

Enables persistent, portable memory for AI agents across sessions, devices, and providers with token-efficient 5-level lazy loading and automatic session capture.

Provides tools for semantic decomposition, proof search, knowledge graph operations, and neuro-symbolic reasoning that bridges neural LLMs with symbolic AI through RDF triples, lambda calculus, and compositional intelligence principles.

Enables enterprise MCP clients and partner agents to execute tenant-isolated underwriting, claims, and compliance workflows with durable step checkpointing, evidence-grounded tool calls, and deterministic PDF citation receipts. It supports A2A task dispatch and MCP JSON-RPC operations while blocking cross-tenant access and ungrounded deliverables.

Enables an assistant to run pi coding-agent tasks in the background: dispatching a task, polling its status and tool trace, reading the final result, and cancelling it when no longer needed, all without pulling the delegate's context into its own conversation.

Enables Grok Bots to install, verify, build, seal, unseal, list, and update hash-pinned skill packs from static URLs, expanding skill capacity beyond template limits without executing pack content.

Exposes a synthetic issue tracker and pipeline warehouse as callable tools so an agent can answer operational questions about tickets, pipeline health, runs, incidents, and governed metrics with every claim cited to the exact tool call it came from. All writes are proposal-only, requiring human approval through a gated apply path that logs each step for audit.