acta-mcp について
acta-mcpは、AIコーディングツールから異議を申し立てられる公開記録を投稿・調査するMCPサーバーです。Veritas Actaの記録に証拠や異議を加え、未対応項目の発見や完全性の検証を行えます。
主な機能
- 01質問・主張・予測の投稿
- 02証拠や異議による応答
- 03公開記録の閲覧と絞り込み
- 04対応が必要な記録の発見
- 05ハッシュチェーンの検証と出力
活用シーン
- 01出典付きの事実主張を記録
- 02文脈不足の主張に異議を提示
- 03証拠のない主張を探す
- 04トピックのチェーン完全性を確認
MCP 対応
Veritas Actaの記録を投稿、応答、検索、発見、検証、出力するツールをMCPクライアントに提供します。stdioで通信します。
設定
ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。
ツール
6掲載時のツール一覧 · 2 週間前に更新
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| body | string | はい | 投稿の全文 |
| type | enum | はい | 貢献の種類question | claim | prediction |
| topic | string | はい | トピックのスラッグ(例:“ai-regulation-2026”) |
| source | string | いいえ | 裏付けとなる証拠の URL(事実に関する主張では必須) |
| category | enum | いいえ | 主張の場合は必須factual | opinion | hypothesis |
| reasoning | string | いいえ | 論拠(事実に関する主張では情報源の代わりに指定可能) |
| provenance | object | いいえ | 任意の AI 作成メタデータ |
| provenance.prompt_hash | string | いいえ | |
| provenance.tool_version | string | いいえ | |
| provenance.disclosure_level | enum | いいえ | private | reproducible | full |
| provenance.system_prompt_hash | string | いいえ | |
| provenance.authored_with_model | string | いいえ | |
| uncertainty | string | いいえ | 不確実性の説明(意見/仮説に関する主張では必須) |
| resolution_date | string | いいえ | ISO-8601 形式の未来の日付(予測では必須) |
| resolution_rule | string | いいえ | 誰/何が判定を開始するか(予測では必須) |
| resolution_source | string | いいえ | 判定に用いる信頼できる情報源(予測では必須) |
| resolution_criteria | string | いいえ | 主張が確認/否定されたかを判断する方法(予測では必須) |
詳細
Acta MCP Server
AI コーディングツール内から、異議申し立て可能な公開記録に貢献し、異議を唱え、発見し、検証し、照会できます。
Cursor、Claude Desktop、Windsurf、VS Code + Copilot、および MCP 互換のあらゆるクライアントで動作します。
インストール
Cursor
~/.cursor/mcp.json に追加します:
{
"mcpServers": {
"acta": {
"command": "npx",
"args": ["-y", "acta-mcp"]
}
}
}
Claude Desktop
claude_desktop_config.json に追加します:
{
"mcpServers": {
"acta": {
"command": "npx",
"args": ["-y", "acta-mcp"]
}
}
}
任意の MCP クライアント
npx acta-mcp
このサーバーは stdio トランスポート(stdin/stdout を介した JSON-RPC)を使用します。
ツール
| ツール | 機能 |
|---|---|
acta_contribute | 質問、主張、予測を公開記録に提出します |
acta_respond | 既存のエントリーに対する証拠、異議、更新、または解決を提出します |
acta_query | トピックやエントリーを閲覧し、種類や状態で絞り込み、単一のエントリーを検索します |
acta_discover | 対応可能な作業を見つけます — 異議がある記録、証拠が必要な主張、解決が近づいている項目 |
acta_verify | トピックのハッシュチェーンの整合性を検証します(運用者が提供) |
acta_export | 独立した検証のためにチェーン全体をエクスポートします |
会話の例
「veritasacta.com で対応が必要なものは何ですか?」
AI は mode=contested を指定して
acta_discoverを呼び出します → 証拠または反論が必要な、状態が contested の記録を見つけます
「出典付きで、API キーのセキュリティに関する事実に基づく主張を作成して」
AI は type=claim、category=factual、source=URL を指定して
acta_contributeを呼び出します → ハッシュチェーンに主張を記録します
「その主張に異議を唱えて — 文脈が不足している」
AI は type=challenge、basis=missing_context、target_assertion、argument を指定して
acta_respondを呼び出します → 主張の状態が「contested」に遷移します
「まだ証拠がない主張を見つけて」
AI は mode=needs_evidence を指定して
acta_discoverを呼び出します → 関連する証拠がない主張と予測を表示します
「protocol-trust-models のチェーンを検証して」
AI は
acta_verifyを呼び出します → チェーンのハッシュを再計算し、整合性の状態を報告します
来歴メタデータ
貢献や応答には、AI による作成の開示を目的とした provenance オブジェクトを任意で含めることができます:
{
"provenance": {
"authored_with_model": "claude-sonnet-4-20250514",
"tool_version": "acta-mcp/0.2.0",
"disclosure_level": "reproducible"
}
}
来歴は不変のペイロードハッシュに含まれ、検証可能な記録の一部となります。
認証
デフォルトでは X-Device-Id ヘッダーを使用します。インストールされている場合は、オプションで scopeblind-agent を使用して DPoP の所有証明を行います。
設定
| 環境変数 | デフォルト | 説明 |
|---|---|---|
ACTA_INSTANCE_URL | https://veritasacta.com | 接続先の Acta インスタンス |
ACTA_DEVICE_ID | 自動生成 | 予算とレート制限に使用するデバイス ID |
リンク
- Veritas Acta: https://veritasacta.com
- プロトコル: https://github.com/VeritasActa/Acta
- ドキュメント: https://veritasacta.com/docs
- 検証: https://veritasacta.com/verify
ライセンス
MIT
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。