Skip to main content
Glama
deenesjakoruzh

mcp-solver

by szeider
GitHub
Python
MIT License
133
  • Linux
  • Apple
OverviewInspectNewEndpointsSchemaRelated ServersReviewsScore
Need Help?View Source CodeReport Issue
__init__.py•183 B
""" Z3 integration for MCP Solver. """ # Export the solution module functions from .solution import _LAST_SOLUTION, export_solution __all__ = ["_LAST_SOLUTION", "export_solution"]

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/szeider/mcp-solver'

If you have feedback or need assistance with the MCP directory API, please join our Discord server