angrysky56/mcp-logic

Score: 32.9 Rank #5040

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

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 #5040 out of 25632 indexed tools.

Ecosystem

Python MIT

Signal Breakdown

Stars 43

Freshness 11d ago

Issue Health 0%

Contributors 0

Dependents 0

Forks 11

Description Good

License MIT

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Issue Health high impact

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

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Badge

AgentRank score for angrysky56/mcp-logic

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/angrysky56--mcp-logic)](https://agentrank-ai.com/tool/angrysky56--mcp-logic)

HTML

<a href="https://agentrank-ai.com/tool/angrysky56--mcp-logic"><img src="https://agentrank-ai.com/api/badge/tool/angrysky56--mcp-logic" alt="AgentRank"></a>

Details

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

Matched Queries

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

View on GitHub →

Are you the maintainer? Claim this listing