MCPHub

0 serversUpdated Aug 28, 2026

ServersTrendingCategories
MCPHub

Catalog

  • Servers
  • Trending
  • Categories

Company

  • About

Shout out

  • Formatly
  • Hirime

Searchable catalog of Model Context Protocol servers. Find tools that connect your AI assistant to the services and data you use.

PrivacyTerms

© 2026 MCPHub

Servers/Code Execution/rikarazome/prolog-reasoner
Code ExecutionCommunityPython
R

rikarazome/prolog-reasoner

SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.

0 starsUpdated Aug 28, 2026
View on GitHub

Ads

Overview

SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.

Installation

Installation instructions are not available yet.

Configuration

Configuration example is not available yet.

Capabilities

No tools listed yet.

Tags

  • awesome-list

Related MCP servers

C

Context7 MCP

Official

Official Context7 MCP server that brings up-to-date, version-specific library documentation and code examples into AI coding prompts.

61.3kCode ExecutionUpdated Today
C

Chrome DevTools MCP

Official

Official Chrome DevTools MCP server for controlling and inspecting a live Chrome browser from coding agents such as Gemini, Claude, Cursor, and Copilot.

49.9kCode ExecutionUpdated Today
M

Mastra/mcp

Official

Client implementation for Mastra, providing seamless integration with MCP-compatible AI models and tools.

27.5kCode ExecutionUpdated Today

GitHub MCP Server

Official

Connect your AI assistant to GitHub repositories, issues, pull requests, and search.

12.4kCode ExecutionUpdated 2 days ago