Logic MCP Server by automenta

MCP Servers Chevron right icon

Logic

Provider

automenta

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.

148 (148 this week)

Released On

Dec 5, 2025

Popularity Ranking

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

#5,459 (#838 this week)

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

GitHub Repo (1 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

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

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

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