RyanNg1403/mcp-server-logical-solver

Score: 17.0 Rank #18107

A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent

Overview

RyanNg1403/mcp-server-logical-solver is a Python MCP server. A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent

Ranked #18107 out of 25632 indexed tools.

Ecosystem

Python No license

Signal Breakdown

Stars 1

Freshness 10mo ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 0

Description Good

License None

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

License low impact

Add an MIT or Apache-2.0 license to signal trust and enable adoption

Freshness high impact

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

Badge

AgentRank score for RyanNg1403/mcp-server-logical-solver

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/RyanNg1403--mcp-server-logical-solver)](https://agentrank-ai.com/tool/RyanNg1403--mcp-server-logical-solver)

HTML

<a href="https://agentrank-ai.com/tool/RyanNg1403--mcp-server-logical-solver"><img src="https://agentrank-ai.com/api/badge/tool/RyanNg1403--mcp-server-logical-solver" alt="AgentRank"></a>

Details

Stars: 1
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Python
License: —
Last Commit: 10mo ago

Matched Queries

"mcp server""mcp-server"

View on GitHub →

Are you the maintainer? Claim this listing