mcp-rocq
MCP-RoCQは、Coq証明助手と統合された高度な論理推論機能を提供するモデルコンテキストプロトコルサーバーです。自動依存型チェック、帰納型定義、プロパティ証明をサポートし、カスタム戦術や自動化を利用して論理的性質を証明します。エラーハンドリングも充実しており、型エラーや証明失敗に対する詳細なフィードバックを提供します。
GitHubスター
6
ユーザー評価
未評価
お気に入り
0
閲覧数
7
フォーク
3
イシュー
4
MCP-RoCQは、Coq証明助手と統合された高度な論理推論機能を提供するモデルコンテキストプロトコルサーバーです。自動依存型チェック、帰納型定義、プロパティ証明をサポートし、カスタム戦術や自動化を利用して論理的性質を証明します。エラーハンドリングも充実しており、型エラーや証明失敗に対する詳細なフィードバックを提供します。
GitHubスター
6
ユーザー評価
未評価
お気に入り
0
閲覧数
7
フォーク
3
イシュー
4