AgentRank

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

Similar Mcp Server Skills

Chrome DevTools MCP by ChromeDevTools Enables AI coding assistants to control and inspect a live Chrome browser through Chrome DevTools. Provides browser auto…
78.3
mcp-cli Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.
77.5
python-mcp-server-generator Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.
77.5
typescript-mcp-server-generator Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.
77.5
rust-mcp-server-generator Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.
77.4
Ivan Murzak by IvanMurzak Seamless automation and intelligent control over your Unity projects. By integrating with the MCP server and client, it …
76.6
View on GitHub → View on Glama →