Submit

MCP-Logic

@angrysky56

Visit Server
10 months ago
research-and-data
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
OverviewToolsComments

Comments

© 2025 MCP.so. All rights reserved.

Build with ShipAny.