Google PageRank for AI agents. 25,000+ tools indexed.

MCP-Logic by angrysky56

#662 of 1941 by angrysky56
38 score

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.

Ranked #662 out of 1941 indexed tools.
🔑
Is this your tool? Claim this listing to add maintainer context, get a verified badge, and unlock analytics.
Claim listing →

Signal Breakdown

Installs 9
Freshness 21d ago
Issue Health 50%
Stars 43
Platform Breadth 1 platform
Contributors 0
Description Detailed

How to Improve

Contributors medium impact

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

Stars low impact

Low star count — promote the project, write docs, and engage the community to drive adoption

Platforms medium impact

Only 1 platform listed — publishing to more platforms improves your score

Badge

AgentRank score for MCP-Logic by angrysky56
[![AgentRank](https://agentrank-ai.com/api/badge/skill/glama-angrysky56--mcp-logic)](https://agentrank-ai.com/skill/glama-angrysky56--mcp-logic/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)
<a href="https://agentrank-ai.com/skill/glama-angrysky56--mcp-logic/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/skill/glama-angrysky56--mcp-logic" alt="AgentRank"></a>

Supported Platforms

MCP