MCP Server
44
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux,...
Python MIT Updated 1mo ago
angrysky56
0
0