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スター

27

ユーザー評価

未評価

フォーク

5

イシュー

1

閲覧数

1

お気に入り

0

作者情報

0

フォロワー

0

リポジトリ

0

Gist

0

貢献数

スレッド