Who maintains MCP-Logic?

MCP-Logic is maintained by angrysky56, which publishes 28 MCP servers (0 total versions) tracked on MCP Toplist.

Is MCP-Logic listed on the Official MCP Registry?

MCP-Logic is not on the Official MCP Registry. It is listed on Glama, PulseMCP and mcp.so.

Where can I find the source code for MCP-Logic?

The source code for MCP-Logic is hosted at github.com/angrysky56/mcp-logic.

SERVER

MCP-Logic

Rank #4,345

glama/angrysky56/mcp-logic

MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.

Not versioned

46 GitHub stars

by angrysky56 (28 servers)View repository ↗

First listed

Jan 13, 2025

Last publish date

—

OVERVIEW

MCP-Logic is a Model Context Protocol (MCP) server published by angrysky56. It ranks #4,345 of 115,460 servers tracked on MCP Toplist, and its repository has 46 GitHub stars. MCP-Logic is listed across 3 registries — Glama, PulseMCP and mcp.so, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 13, 2025.

STANDING

#4,345of 115,460 tracked serversTop 5%

Ranks ahead of 111,115 of 115,460 servers on MCP Toplist.

CONNECT

Use MCP-Logic

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

This server doesn't publish a machine-readable install config — see the repository README for install instructions.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/glama%2Fangrysky56%2Fmcp-logic.svg)](https://mcptoplist.com/server/glama%2Fangrysky56%2Fmcp-logic)

HTML

<a href="https://mcptoplist.com/server/glama%2Fangrysky56%2Fmcp-logic"><img src="https://mcptoplist.com/badge/glama%2Fangrysky56%2Fmcp-logic.svg" alt="MCP Toplist: Top 5% of 115,460" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry (2 delisted)

Glama

PulseMCPDelisted · last seen Jun 4, 2026

mcp.soDelisted · last seen Jun 4, 2026

ORGANIZATION

angrysky56

Organization

angrysky56

Servers in org

Versions across org

Other servers by angrysky56

View all angrysky56 servers →

VERSIONS

Not versioned

This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.

FAQ

Frequently asked questions

Who maintains MCP-Logic?: MCP-Logic is maintained by angrysky56, which publishes 28 MCP servers (0 total versions) tracked on MCP Toplist.
Is MCP-Logic listed on the Official MCP Registry?: MCP-Logic is not on the Official MCP Registry. It is listed on Glama, PulseMCP and mcp.so.
How many versions does MCP-Logic have?: MCP-Logic ships as a single rolling release with no explicit version metadata.
Where can I find the source code for MCP-Logic?: The source code for MCP-Logic is hosted at github.com/angrysky56/mcp-logic.

EXPLORE

All MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers