mcp-logic vs openapi-mcp-generator
Side-by-side comparison of two Ai projects on AiList.
Tagline
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
A Python tool that automatically converts OpenAPI(Swagger, ETAPI) compatible specifications into fully functional Model Context Protocol (MCP) servers. Generates Docker-ready implementations with support for SSE/IO communication protocols, authentication, and comprehensive error handling. https://py
GitHub Stars
43
28
Stars This Week
—
—
Language
Python
—
License
MIT
—
Built With
—
—
Views
47
124
Clicks
14
6