提交

MCP-Logic

@angrysky56

访问 MCP Server
a year 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
概览工具评论

评论

© 2025 MCP.so. All rights reserved.

Build with ShipAny.