Deed について
Deedは、機械が生成し人がレビューするコード向けの、契約優先型言語とツールチェーンです。型、エフェクト、能力、契約を検査し、パッチ前後の検証記録も扱います。
主な機能
- 01型とエフェクトの検査
- 02能力の検査
- 03契約の検査
- 04パッチ前後の検証記録
- 05deed mcpによるローカルMCPサーバー
活用シーン
- 01生成コードをレビュー前に検査
- 02能力と契約の制約を検証
- 03プロジェクトのチェックとテストを実行
- 04ローカルMCP接続経由でDeedを利用
MCP 対応
`deed mcp`で標準入出力を介したローカルMCPサーバーを起動し、MCPクライアントにDeedの機能を提供します。
設定
ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。
インストール方法は未掲載です
このサーバーのパッケージやリモートエンドポイントはまだ取得できていません。プロジェクトの README の手順に従ってください。
ツール
ツール一覧はまだ取得されていません
ローカルサーバーのツールはマシン上で起動して初めて取得できます。メンテナーはまだツール一覧を提供していません。
詳細
Deed
Deed は、マシンがコードを作成し、人間がレビューするための、コントラクトファーストの言語です。ツールチェーンは、型、エフェクト行、ケイパビリティ、コントラクト、変更前後のパッチレシートをチェックします。
cargo install deed-lang
deed new greeting
deed check greeting
deed test greeting
パッケージ名は deed-lang で、deed バイナリをインストールします。次のコマンドで、ローカルの Model Context Protocol サーバーを stdio 経由で実行します。
deed mcp
コメント
Markdown 対応
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。