mcp-rocq

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

GitHubスター

6

ユーザー評価

未評価

お気に入り

0

閲覧数

7

フォーク

3

イシュー

4

技術情報

プログラミング言語

Python主要言語

システム要件

特定の要件は記載されていません

メンテナンス状況

メンテナンス中

GitHubトピック

claudecoqmcp-server