angrysky56/mcp-logicConnectors
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
46
nitrocloudofficial/
nitrostack
nitrocloudofficial/nitrostackFrameworks & SDKs
The full-stack TypeScript framework to build, test, and deploy production-ready MCP servers and AI-native apps.
2.5k