mcp-solver

3.6

If you are the rightful owner of mcp-solver and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.

A Model Context Protocol (MCP) server that exposes SAT, SMT, and constraint solving capabilities to Large Language Models.

clear_model

Remove all items from the model

add_item

Add new item at a specific index

delete_item

Delete item at index

replace_item

Replace item at index

get_model

Get current model content with numbered items

solve_model

Solve the model (with timeout parameter)

Related MCP Servers

View all developer_tools servers →

context7

4.9

by upstash

Context7 MCP provides up-to-date, version-specific documentation and code examples directly into your prompt, enhancing the capabilities of LLMs by ensuring they use the latest information.

developer_tools

mcp-shrimp-task-manager

4.6

by cjo4m06

MCP Shrimp Task Manager is an intelligent task management system based on Model Context Protocol (MCP), designed to enhance programming workflows for AI Agents.

os_automation

mcp-server-chart

4.5

by antvis

A Model Context Protocol server for generating charts using AntV.

research_and_data

repomix

4.5

by yamadashy

Repomix is a tool that packs your codebase into AI-friendly formats, making it easier to use with AI tools like LLMs.

developer_tools

code2prompt

4.5

by mufeedvh

Code2Prompt is a tool that converts your codebase into a single LLM prompt, facilitating code analysis and generation.

developer_tools

mcp-installer

4.5

by anaisbetts

mcp-installer is a server that facilitates the installation of other MCP servers using Claude.

developer_tools

mcpdoc

4.5

by langchain-ai

MCP LLMS-TXT Documentation Server provides a structured way to manage and retrieve LLM documentation using the Model Context Protocol.

developer_tools

mcp-svelte-docs

4.4

by spences10

A Model Context Protocol (MCP) server that provides a comprehensive reference guide for Svelte 5, helping LLMs provide accurate guidance when users are working with Svelte.

developer_tools

Everything MCP Server

4.3

by modelcontextprotocol

The Everything MCP Server is a comprehensive test server designed to demonstrate the full capabilities of the Model Context Protocol (MCP). It is not intended for production use but serves as a valuable tool for developers building MCP clients.

developer_tools

whois-mcp

4.3

by bharathvaj-ganesan

The Whois MCP server allows AI agents to perform WHOIS lookups to retrieve domain details.

research_and_data

docker-mcp

4.3

by QuantGeekDev

A powerful Model Context Protocol (MCP) server for Docker operations, enabling seamless container and compose stack management through Claude AI.

developer_tools

evm-mcp-server

4.2

by mcpdotdirect

A comprehensive Model Context Protocol (MCP) server that provides blockchain services across multiple EVM-compatible networks.

finance

n8n-workflow-builder

4.2

by makafeli

The n8n Workflow Builder MCP Server is designed to manage n8n workflows, providing tools for workflow management and execution management.

developer_tools

mindmap-mcp-server

4.2

by YuChenSSR

A Model Context Protocol (MCP) server for converting Markdown content to interactive mindmaps.

developer_tools

mcp-n8n-workflow-builder

4.2

by salacoste

The n8n Workflow Builder MCP Server is designed to manage n8n workflows using the Model Context Protocol, allowing seamless integration with Claude AI and Cursor IDE.

cloud_platforms

prisma

4.1

by prisma

Prisma is a next-generation ORM for Node.js and TypeScript, providing tools for data modeling, migrations, and querying databases.

databases

github-mcp-server

4.1

by github

The GitHub MCP Server is a Model Context Protocol server that integrates with GitHub APIs for automation and interaction.

developer_tools

mcp-datetime

4.0

by ZeparHyfar

A datetime formatting service implemented as an MCP server for the Claude Desktop Application.

developer_tools

gateway

4.0

by centralmind

CentralMind Gateway is a tool designed to expose databases to AI agents via MCP or OpenAPI protocols, providing secure, LLM-optimized APIs.

databases

Diff

4.0

by benjamine

diff-mcp is an MCP Server designed to compare text or data and provide a diff.

developer_tools

exa-mcp-server

3.8

by exa-labs

A Model Context Protocol (MCP) server allows AI assistants to use the Exa AI Search API for real-time web searches in a secure manner.

research_and_data

unity-mcp

3.8

by justinpbarnett

Unity MCP connects your Unity Editor to LLMs using the Model Context Protocol, enabling AI assistants to interact with Unity for asset management, scene control, script editing, and task automation.

ai_chatbot

postgres-mcp

3.8

by crystaldba

Postgres MCP Pro is an open-source Model Context Protocol server designed to enhance database performance and management through advanced tools and features.

databases

cursor-talk-to-figma-mcp

3.8

by sonnylazuardi

This project implements a Model Context Protocol (MCP) integration between Cursor AI and Figma, allowing Cursor to communicate with Figma for reading designs and modifying them programmatically.

browser_automation

mcp-grafana

3.8

by grafana

A Model Context Protocol (MCP) server for Grafana providing access to your Grafana instance and its ecosystem.

monitoring

azure-mcp

3.8

by Azure

The Azure MCP Server implements the MCP specification to create a seamless connection between AI agents and Azure services.

cloud_platforms

Aspire.MCP.Sample

3.8

by elbruno

Sample MCP Server and MCP client using Aspire.

communication