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

An MCP that provides tools for executing Prolog, querying it, and searching existing predicates.

To install

Installing via Smithery

To install prolog_mcp for Claude Desktop automatically via Smithery:

npx -y @smithery/cli install @snoglobe/prolog_mcp --client claude

Manual Installation

Uhhhh build it to an executable and add the full path of the executable to your MCP config with no args

Related MCP Servers

View all developer_tools servers →

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

mcp-server-chart

4.5

by antvis

A Model Context Protocol server for generating charts using AntV.

research_and_data

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

mindsdb

4.5

by mindsdb

MindsDB is an open-source server that enables seamless interaction with large-scale federated data using the Model Context Protocol (MCP).

databases

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

DesktopCommanderMCP

4.4

by wonderwhy-er

Desktop Commander MCP is a tool that allows users to search, update, manage files, and run terminal commands using AI, without incurring API token costs.

file_systems

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

paelladoc

4.3

by jlcases

PAELLADOC is an AI-First Development framework implementing the Model Context Protocol (MCP) to enhance LLM interactions with external tools and context.

ai_chatbot

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

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

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

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

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

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

algorand-mcp

4.1

by GoPlausible

This is a Model Context Protocol (MCP) implementation for Algorand blockchain interactions, providing a server package for blockchain interactions and a client package for wallet management and transaction signing.

communication

rapidocr-mcp

4.0

by z4none

RapidOCR MCP Server is a Model Context Protocol server that provides an easy-to-use OCR interface.

ai_chatbot

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

magic-mcp

3.8

by 21st-dev

Magic Component Platform (MCP) is a powerful AI-driven tool that helps developers create beautiful, modern UI components instantly through natural language descriptions.

developer_tools

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

Cua Agent

3.8

by trycua

cua-mcp-server is a Model Context Protocol (MCP) server for the Computer-Use Agent (CUA), enabling integration with Claude Desktop and other MCP clients.

developer_tools

supabase-mcp

3.8

by supabase-community

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

databases

mcp-grafana

3.8

by grafana

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

monitoring

mcp-jenkins

3.8

by lanbaoshen

The Model Context Protocol (MCP) Jenkins is an open-source implementation that integrates Jenkins with AI language models, ensuring secure and contextual AI interactions.

developer_tools

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