m0n0x41d/haft
Engineering decisions engine that know when they're stale. Frame, compare, decide — with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.
解決する問題
HaftはAIコーディングエージェント向けのローカルガバナンスレイヤーを提供し、重要なプロジェクトコンテキストの喪失を防ぎます。プロジェクトの「メモリ」——例えば、解決しようとしている問題、比較したオプション、人間の決定、裏付けとなる証拠——が、一時的なチャット履歴に失われるのではなく、永続的かつ構造化されていることを保証します。
仕組み
Haftは、人間、AIエージェント、リポジトリの間の仲介役として機能します。エンジニアリング思考のための厳密なシステムであるファーストプリンシプルフレームワーク(FPF)を実装し、このフレームワークをエージェントが照会できるバージョン管理されたソースとして提供します。
これは3つの主要なインターフェースを通じて動作します:
- MCPサーバー:プログラムによるアクセスを提供し、「カーネルゲート」(必須フィールドと権限境界のサーバー側検証)を強制するモデルコンテキストプロトコルサーバー(
haft serve)。 - スキル:エージェントに統合された専門的な手順(例:問題を明確にするための
/h-frame、決定を拘束するための/h-decide)で、エージェントのワークフローをガイドします。 - CLI:
haft artifactやhaft specなどのコマンドを介して、プロジェクトのアーティファクトグラフとメモリに直接手動でアクセスします。
プロジェクトデータは、ローカルのSQLiteデータベースと .haft/ ディレクトリ内のマークダウンキャリアに保存されます。
対象読者
AIコーディングエージェント(Claude Code、Codex、Grok、Cursorなど)を使用するソフトウェアエンジニアで、コードベース内でエンジニアリング決定、仕様、プロジェクトガバナンスを正式かつ永続的に追跡する必要がある人。
ハイライト
- 信頼に足るメモリ:カジュアルなチャット推論と、将来の作業が依存しなければならない正式なプロジェクト記録を区別します。
- カーネルゲート:プロンプトベースの規律に依存するのではなく、サーバー側で構造的および権限の境界を強制します。
- 証拠の減衰:決定の証拠が古くなった時期を追跡し、レビューのために表面化します。
- ソースネイティブなFPF配信:エージェントが来歴付きのバージョン管理されたFPFソースマテリアルを取得できるようにします。
- 人間参加型:拘束力のある決定と委任が、人間の主体の明示的な権限であることを保証します。
関連
- プロジェクト
- プロジェクト
- プロジェクト
- プロジェクト
- プロジェクト