mcp-logic

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

GitHubスター

32

ユーザー評価

未評価

お気に入り

0

閲覧数

14

フォーク

6

イシュー

1