angrysky56
@angrysky56
7
Published Tools
43
Total Stars
0
Weekly Downloads
Published Tools
7 MCP Serversacross 2 categoriesFully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
MCP Serverai
432 dirs