juxt/allium

何を解決するか

Allium は、長時間のセッションや異なるセッション間で LLM が元の設計目標を忘れてしまう「意図のずれ（intent drift）」という問題に対処します。システムが「すべきこと（意図）」と「実際にすること（実装）」の間に混乱が生じることを防ぎ、バグや妥協したコーディングの決定が意図された動作と誤認されるのを回避します。

どう動くか

Allium は、コードと並行して .allium ファイルを維持できる行動仕様言語を導入します。このファイルは実装の詳細を含まず、エンティティとルール（トリガー、事前条件、結果から構成される）を記述します。

特定のスキルを通じてループを実行します：

• /elicit: 意図に関する会話から仕様を構築する。
• /distill: 既存のコードから仕様を抽出する。
• /propagate: 仕様に基づいてテストを生成する。
• /tend: 要件変更に応じて仕様を編集する。
• /weed: 仕様とコードの乖離を調整する。

補助 CLI は構文の検証と構造的チェック（データフローの追跡や到達不能なパスの発見など）を実行し、LLM が独自に信頼できるようにはできない形式的検証信号を提供します。

対象ユーザー

Claude Code、Cursor、Windsurf、Aider、GitHub Copilot などのエージェント型コーディングツールを使用する開発者向けです。システム要件を耐久的で形式的な方法で記録し、実装が意図と一致しているかを検証したい方におすすめです。

特徴

• 行動仕様: 実装の詳細ではなく、観察可能な振る舞いに焦点を当てる。
• 形式的検証: CLI を使って、文章ベースの要件では見逃されがちな設計上のギャップや矛盾を検出する。
• ポータブルなスキル: プレーンな Markdown スキルを通じて 40 以上の AI コーディング環境で動作する。
• 双方向ワークフロー: 意図からコードへ（仕様優先）または既存コードから形式的仕様へ（コード優先）の移行が可能。