送信

MCP-Logic

@angrysky56

サーバーを訪問
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.