Logic (Prover9/Mace4) MCP Server by angrysky56

MCP Servers Chevron right icon

Logic (Prover9/Mace4)

Provider

angrysky56

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.

5.2k (148 this week)

Released On

Jan 14, 2025

Popularity Ranking

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

#1,496 (#824 this week)

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

GitHub Repo (35 stars)

Related Servers

MCP Reasoner

Jacck

Implements beam search and thought evaluation for structured problem-solving, enabling exploration of multiple...

Classification

community

Est Downloads (All Time)

39.9k

Release Date

Dec 20, 2024

RoCQ

angrysky56

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking,...

Classification

community

Est Downloads (All Time)

1.2k

Release Date

Jan 29, 2025

Advanced Reasoning

AzDeltaQQ

Provides advanced reasoning capabilities through simulated algorithms including Monte Carlo Tree Search, Beam Search,...

Classification

community

Est Downloads (All Time)

1.9k

Release Date

Mar 20, 2025

DeepSeek Reasoner

ygboy1986

Integrates DeepSeek's R1 reasoning engine with Claude, enabling complex problem-solving through a tool that processes...

Classification

community

Est Downloads (All Time)

—

Release Date

Mar 20, 2025

Prolog

snoglobe

Bridges AI systems with Prolog's logical programming capabilities through tools for executing programs, running...

Classification

community

Est Downloads (All Time)

3.4k

Release Date

Mar 31, 2025

Think

Konstantin Krestnikov

Provides a lightweight 'think' tool for structured reasoning, enabling LLMs to pause, log thoughts, and improve...

Classification

community

Est Downloads (All Time)

—

Release Date

Apr 16, 2025

Chain-of-Recursive-Thoughts

Kunihiro Setogawa

Implements Chain-of-Recursive-Thoughts methodology that enhances reasoning by making models argue with themselves...

Classification

community

Est Downloads (All Time)

2.7k

Release Date

May 11, 2025

Consult LLM

raine

Escalates complex reasoning tasks to more powerful language models (OpenAI o3, Google Gemini 2.5 Pro, DeepSeek...

Classification

community

Est Downloads (All Time)

5.1k

Release Date

Jun 23, 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

Clear Thought

Waldzell AI

Provides 38 structured reasoning operations across core thinking patterns, collaborative reasoning, and advanced...

Classification

community

Est Downloads (All Time)

6.2k

Release Date

Nov 3, 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