dsouflis/z3-solver-mcp-server

Score: 19.4 Rank #14270

A Model Context Protocol (MCP) server that provides SMT (Satisfiability Modulo Theories) solving capabilities using the Z3 theorem prover. This server allows Claude and other MCP clients to solve complex constraint satisfaction problems, mathematical equations, logic puzzles, and optimization problems.

Overview

dsouflis/z3-solver-mcp-server is a Python MCP server. A Model Context Protocol (MCP) server that provides SMT (Satisfiability Modulo Theories) solving capabilities using the Z3 theorem prover. This server allows Claude and other MCP clients to solve complex constraint satisfaction problems, mathematical equations, logic puzzles, and optimization problems.

Ranked #14270 out of 25632 indexed tools.

Ecosystem

Python No license

Signal Breakdown

Stars 3

Freshness 9mo ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 0

Description Detailed

License None

How to Improve

License low impact

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

Freshness high impact

Last commit was 278 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 dsouflis/z3-solver-mcp-server

Markdown

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

HTML

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

Details

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

Matched Queries

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

View on GitHub →

Are you the maintainer? Claim this listing