prolog_mcp

3.4

If you are the rightful owner of prolog_mcp 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.

Prolog MCP is a Model Context Protocol server that provides tools for executing Prolog, querying it, and searching existing predicates.

Prolog MCP is designed to facilitate the execution and querying of Prolog code within a Model Context Protocol (MCP) environment. It allows users to seamlessly integrate Prolog logic programming capabilities into their applications, enabling complex data manipulation and inference tasks. The server supports the execution of Prolog code, querying of Prolog databases, and searching for existing predicates, making it a versatile tool for developers working with logic programming. Prolog MCP can be installed via Smithery for easy integration with platforms like Claude Desktop, or manually by building it into an executable and configuring it within the MCP environment.

Features

Execution of Prolog code
Querying Prolog databases
Searching existing predicates
Integration with Claude Desktop via Smithery
Manual installation option

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

claude-task-master

4.8

by eyaltoledano

Task Master is a task management system for AI-driven development with Claude, designed to work seamlessly with Cursor AI.

ai_chatbot

git-mcp

4.6

by idosal

GitMCP is a free, open-source, remote Model Context Protocol (MCP) server that transforms GitHub projects into documentation hubs, enabling AI tools to access up-to-date documentation and code.

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

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

terraform-mcp-server

4.5

by hashicorp

The Terraform MCP Server is a Model Context Protocol server that integrates with Terraform Registry APIs for advanced automation in Infrastructure as Code development.

cloud_platforms

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-server-calculator

4.4

by githejie

A Model Context Protocol server for calculating. This server enables LLMs to use calculator for precise numerical calculations.

developer_tools

Sequential Thinking

4.3

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data

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

mcp-compass

4.3

by liuyoshio

MCP Compass is a discovery and recommendation service for exploring Model Context Protocol servers using natural language queries.

research_and_data

Office-PowerPoint-MCP-Server

4.3

by GongRzhe

A MCP server for PowerPoint manipulation using python-pptx, providing tools for creating, editing, and manipulating PowerPoint presentations.

file_systems

dev-mcp

4.3

by Shopify

This project implements a Model Context Protocol (MCP) server that interacts with Shopify Dev, supporting various tools to interact with different Shopify APIs.

developer_tools

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

Software-planning-mcp

4.2

by NightTrek

A Model Context Protocol (MCP) server designed to facilitate software development planning through an interactive, structured approach.

developer_tools

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

ai-agent-marketplace-index-mcp

4.1

by AI-Agent-Hub

MCP Server for AI Agent Marketplace Index from DeepNLP, allowing AI assistants to search available AI agents by keywords or categories.

browser_automation

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

mcp-server

3.9

by keboola

Keboola MCP Server connects AI agents and MCP clients to Keboola, enabling data access and transformations without glue code.

cloud_platforms

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

Sequential Thinking MCP Server

3.8

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data

mcp-atlassian

3.8

by sooperset

Model Context Protocol (MCP) server for Atlassian products (Confluence and Jira). This integration supports both Confluence & Jira Cloud and Server/Data Center deployments.

cloud_platforms

Nx MCP Server

3.8

by nrwl

A Model Context Protocol server implementation for Nx, providing LLMs with deep access to monorepo structures.

cloud_platforms

supabase-mcp

3.8

by supabase-community

Connect your Supabase projects to AI assistants using the Model Context Protocol (MCP) server.

databases

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