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
READMEなし
このプロジェクトのREADMEはまだ取得されていません。
作者情報
0
フォロワー
0
リポジトリ
0
Gist
0
貢献数
スレッド