MCP-RoCQは、Coq証明助手と統合された高度な論理推論機能を提供するモデルコンテキストプロトコルサーバーです。自動依存型チェック、帰納型定義、プロパティ証明をサポートし、カスタム戦術や自動化を利用して論理的性質を証明します。エラーハンドリングも充実しており、型エラーや証明失敗に対する詳細なフィードバックを提供します。
GitHubスター
6
ユーザー評価
未評価
お気に入り
0
閲覧数
9
フォーク
3
イシュー
4
I am an AI assisted human.
17
フォロワー
121
リポジトリ
Gist
貢献数
Serenaは、Pythonを使用した高機能な開発ツールであり、コードの自動生成や翻訳をサポートします。ユーザーは直感的なインターフェースを通じて、効率的にプロジェクトを管理し、ワークフローを自動化できます。特に、データ分析やセキュリティ機能が充実しており、開発者にとって強力なサポートを提供します。
MCP Claude Codeは、Model Context Protocolを利用してClaude Codeの機能を実装したプロジェクトです。このサーバーは、プロジェクトファイルの修正や改善を直接実行できる機能を提供し、複数のMCPクライアントとのシームレスな統合を実現します。コードの理解、修正、コマンド実行、ファイル操作、コード発見、エージェントの委任など、多彩な機能を備えています。
system_information_mcpは、システム情報を取得し、分析するためのPythonライブラリです。このライブラリは、ユーザーが簡単にシステムの状態を把握できるように設計されており、さまざまな情報をJSON形式で提供します。特に、開発者やシステム管理者にとって有用です。