igorwwwwwwwwwwwwwwwwwwww/z3-mcp

Score: 19.8 Rank #13506

questionable z3 mcp server for true logical reasoning

Overview

igorwwwwwwwwwwwwwwwwwwww/z3-mcp is a Go MCP server licensed under MIT. questionable z3 mcp server for true logical reasoning

Ranked #13506 out of 25632 indexed tools.

Ecosystem

Go MIT

Signal Breakdown

Stars 1

Freshness 7mo ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 0

Description Good

License MIT

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

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

Contributors medium impact

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

Badge

AgentRank score for igorwwwwwwwwwwwwwwwwwwww/z3-mcp

Markdown

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

HTML

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

Details

Stars: 1
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Go
License: MIT
Last Commit: 7mo ago

Matched Queries

"mcp server""mcp-server"

View on GitHub →

Are you the maintainer? Claim this listing