"Land Rover" matching MCP servers:

Generates beautiful Xiaohongshu-style cover images via AI, integrated with MCP-compatible tools.

Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.

MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.

An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

A multi-agent MCP platform with 50+ integrations for AI development workflows, supporting Claude Desktop and other MCP clients.

A stateless remote MCP server that lets AI agents anonymously submit encrypted reports of alignment and safety failures to leaks.md (what others did) and confession.md (what the agent itself did), returning a receipt without accounts or keys. It exposes public tools such as submit_leak and submit_confession over Streamable HTTP.

Enables evidence-grounded resume tailoring by generating ATS-readable LaTeX/PDF resumes from a user-curated experience bank, with every bullet traceable to evidence and inferred wording flagged for user approval.

Enables AI agents to search, filter, and monitor curated AI model API free credits and low-cost token promotions through eight tools, four resources, and three prompts — including finding deals expiring soon, checking eligibility and blocked conditions, and producing daily briefs.

Enables AI assistants to discover and invoke CRUD tools and read-only resources over the Model Context Protocol for generated API services.

Enables users to run synthetic support-agent evaluations, preserve and inspect traces, score results deterministically, inject failures, and enforce release review gates through MCP tools, resources, and prompts.

Enables AI assistants to discover and invoke generated CRUD tools and read-only resources, letting them interact directly with REST-backed services built on Express, Mongoose, or Sequelize.

Enforces Chinese language style norms on LLM outputs via rule-based constraints, forbidden-word filtering, and rewriting, while offering tools for grammar checking, AI-taste detection, and style prompt assembly.

An MCP server that provides a chat tool with stateless instances and external session state, enabling durable conversation history and concurrent client handling.

MCP server for step-by-step mathematical reasoning and planning, enabling AI agents to execute calculations and perform GUI actions like opening PowerPoint.

Enables LLMs to interact with generated CRUD services through MCP tools and resources, so they can create, update, list, and fetch records via a standard protocol. It also provides REST API access from the same codebase for traditional clients.

A server that connects LLM agents to the EasyCrypt proof assistant for writing machine-checked cryptographic proofs, providing a structured panel and managed sessions.

Enables natural-language queries of AWS spend and Bedrock usage data, providing detailed breakdowns by service, region, account, user, instance type, and model, including cross-account cost analysis.

Enables users to query and visualize AWS spend and Amazon Bedrock usage data through natural language, including EC2 and service cost breakdowns and Bedrock usage by region, user, and model.

Enables users to query AWS spend data and Amazon Bedrock usage from CloudWatch model invocation logs through natural language. Supports detailed cost breakdowns by service, region, day, and instance type, including cross-account AWS spend retrieval.

Enables users to query AWS spending and Amazon Bedrock usage in natural language through MCP clients, with breakdowns by service, region, day, model, and user, plus optional cross-account access.

AI-driven dashboard for Roblox games that enables AI assistants to communicate with Roblox games in real time through MCP integration.

Combines Band AI platform control with ShortcutSistem digital marketing tools for SEO, social media, and content creation.

Enables agents to retrieve and analyze cloud spending and model usage data, including service, region, instance-type, user, and model breakdowns.

Remote MCP server providing tools for YouTube script and title strategy, including competitor title analysis, channel DNA generation, hook creation, and script drafting.

Enables querying AWS Cost Explorer spend data and Amazon Bedrock model invocation logs through CloudWatch in natural language. Supports EC2, Bedrock, and cross-account cost analysis via local or remote MCP transports.

Enables startup protection checks directly from your editor, analyzing clone risk, defensibility, and patentable features in about 2 minutes.

MCP server for MarkItUp's AI image-annotation pipeline. Generate polished marketing-visual variations of any screenshot, regenerate, AI outpaint, and remove backgrounds — powered by Claude analysis + Gemini rendering.

Institutional-grade quantitative stock analysis and research signals for AI agents via the Model Context Protocol (MCP).

AI visibility and SEO data for AI agents. Check whether ChatGPT, Claude, Perplexity and Gemini mention your brand and which sources they cite, plus keyword volume and Google Trends.

Discover audio and LLM services, compare seven voices, and check prices for free. Generate speech, transcribe audio and request LLM text with optional capped USDC payments on Base; voice-cloning requirements are also available.