Is the mcp-logic MCP server actively maintained?

The mcp-logic MCP server was last committed 6mo ago and has 0 contributors. Issue health: 0% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

mcp-logic MCP Server

Name: angrysky56/mcp-logic
Rating: 2.8 (1 reviews)
Author: angrysky56

angrysky56/mcp-logic

Score: 45.8 ↓ 1.4% Rank #3841 MCP Server

Are you the maintainer of angrysky56/mcp-logic? Claim this listing →

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

Add AgentRank to Claude Code Discover and compare tools like angrysky56/mcp-logic — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

angrysky56/mcp-logic is a Python MCP server licensed under MIT. Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

Ranked #3841 out of 25022 indexed tools.

Ecosystem

Python MIT

Score Breakdown

Stars 15% 43

43 stars → early stage

Freshness 25% 6mo ago

Last commit 6mo ago → stale

Issue Health 25% 0%

0/1 issues closed → many open issues

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 11

Description Good

License MIT

Weights: Freshness 25% · Issue Health 25% · Dependents 25% · Stars 15% · Contributors 10% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

Last commit was 192 days ago — a recent commit would boost your freshness score

Issue Health high impact

You have 1 open vs 0 closed issues — triaging stale issues improves health

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/angrysky56--mcp-logic)](https://agentrank-ai.com/tool/angrysky56--mcp-logic/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/angrysky56--mcp-logic/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/angrysky56--mcp-logic" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="angrysky56/mcp-logic"></script>

Details

Stars: 43
Forks: 11
Open Issues: 1
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Python
License: MIT
Last Commit: 6mo ago

Matched Queries

"mcp server""mcp-server""model context protocol""model-context-protocol"

See alternatives to angrysky56/mcp-logic → Browse mcp-server category → Compare angrysky56/mcp-logic → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →