Prolog MCP Server by snoglobe

MCP Servers Chevron right icon

Prolog

Provider

snoglobe

Classification

community

Est. Downloads

This is our estimate of how many downloads occurred of this server across the MCP ecosystem (not specific to any single platform). We use a mix of publicly available data, social signals, and more to feed an algorithm that drives this estimation.

3.4k

Released On

Mar 31, 2025

Popularity Ranking

Our estimate as to where this MCP server implementation ranks on the global leaderboard of usage.

#2,129 (#5,514 this week)

Bridges AI systems with Prolog's logical programming capabilities through tools for executing programs, running time-limited queries, and exploring available predicates.

GitHub Repo (23 stars)

Related Servers

Logic (Prover9/Mace4)

angrysky56

Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.

Classification

community

Est Downloads (All Time)

5.2k

Release Date

Jan 14, 2025

Langbase

Ankit Arre

Bridges AI assistants with the Langbase platform, enabling pipe management and memory features for creating and...

Classification

community

Est Downloads (All Time)

—

Release Date

Mar 19, 2025

Thinking Tool

Dominik Wojtaszek

Captures and logs AI reasoning processes during interactions for debugging, auditing decision paths, and improving...

Classification

community

Est Downloads (All Time)

—

Release Date

Mar 22, 2025

Linear

Tacticlaunch

Bridges Linear project management system with natural language interaction, enabling issue tracking, project...

Classification

community

Est Downloads (All Time)

19.4k

Release Date

Mar 24, 2025

Palantir Foundry

Dana K. Williams

Bridges to Palantir Foundry platform, enabling ontology data interaction and SQL query execution against datasets...

Classification

community

Est Downloads (All Time)

1.3k

Release Date

Mar 29, 2025

Gopls

Hubert Loiseaufcms

Bridges the Go Programming Language Server (gopls) with AI systems, enabling advanced code analysis, navigation,...

Classification

community

Est Downloads (All Time)

8.2k

Release Date

Apr 8, 2025

Mindbridge

Pink Pixel

Bridges multiple LLM providers including OpenAI, Anthropic, Google, DeepSeek, OpenRouter, and Ollama through a...

Classification

community

Est Downloads (All Time)

4.5k

Release Date

Apr 10, 2025

gRPC Bridge

Adiom

Bridges AI assistants to gRPC backends by dynamically exposing service methods as tools through server reflection or...

Classification

community

Est Downloads (All Time)

3.4k

Release Date

May 16, 2025

Nano Agent

Daniel Isler

Bridges OpenAI's Agent SDK with natural language task execution, enabling autonomous agent workflows with file system...

Classification

community

Est Downloads (All Time)

28.3k

Release Date

Aug 11, 2025

Codex Bridge

Shelakh

Bridges Claude with OpenAI's Codex through the official CLI, enabling direct consultation, stdin-piped execution for...

Classification

community

Est Downloads (All Time)

4.4k

Release Date

Aug 28, 2025

SWI-Prolog

Peter Trebing

Provides secure access to SWI-Prolog logic programming through dual query modes with sandboxed execution, dynamic...

Classification

community

Est Downloads (All Time)

2.4k

Release Date

Aug 27, 2025

Logic-LM (Answer Set Programming)

Steven Wang

Enhances language models with formal logical reasoning capabilities by translating natural language problems to...

Classification

community

Est Downloads (All Time)

1.4k

Release Date

Aug 29, 2025

Codex CLI

cexll

Bridges OpenAI's Codex CLI with structured command execution, brainstorming sessions, and chunked response delivery...

Classification

community

Est Downloads (All Time)

1.3k

Release Date

Oct 27, 2025

Claude Code

EGOIST

Bridges Claude Code agent capabilities through a task delegation tool that accepts natural language coding...

Classification

community

Est Downloads (All Time)

1.8k

Release Date

Nov 14, 2025

Logic

automenta

First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.

Classification

community

Est Downloads (All Time)

148

Release Date

Dec 5, 2025