agentk は何をしますか？
AgentKは、AIエージェント向けのユーザー空間セキュリティカーネルです。MCP/ツール境界に、型付きシステムコール、汚染認識ポリシー、機能レシート、署名付き証拠、再生可能なフライトログを提供します。
AgentKは、AIエージェント（Claude Code、Cursor、Codexなど）が外部ツールやリソースとやり取りする際のセキュリティを強化します。各ツール呼び出しは型付きシステムコールとして扱われ、汚染認識ポリシーにより信頼できないデータの影響を制限します。機能レシートはエージェントに付与された権限を追跡し、署名付き証拠はすべての操作を検証可能な形で記録します。再生可能なフライトログにより、エージェントの行動を後で詳細に分析できます。
主な機能
- 型付きシステムコール: ツール呼び出しを厳密に型付けし、安全なデータフローを保証します。
- 汚染認識ポリシー: 信頼できない入力がシステムに悪影響を与えるのを防ぎます。
- 機能レシート: エージェントに付与された権限を発行・検証します。
- 署名付き証拠: すべての操作を暗号学的に署名し、改ざんを防止します。
- 再生可能なフライトログ: エージェントの行動を記録し、後で再生・分析できます。
使用方法
# AgentKを初期化する
agentk init
# エージェントをAgentKセキュリティ境界内で実行する
agentk run --agent "claude" --command "your-command"
# フライトログを確認する
agentk logs --flight-id <flight-id>
設定
AgentKは、agentk.yamlファイルで設定します。
policies:
- name: "data-access"
taint-aware: true
allow:
- syscall: "file.read"
path: "/data/*"
- syscall: "file.write"
path: "/output/*"
deny:
- syscall: "network.connect"
host: "*"
統合
AgentKは、以下のAIエージェントプラットフォームと統合できます。
- Claude Code
- Cursor
- Codex
- その他MCP対応エージェント
ライセンス
このプロジェクトはMITライセンスの下で提供されています。詳細はLICENSEファイルを参照してください。