オープンソース
abloq — エージェントが運用するブログ、検証は機械がロックする
エージェントにブログを任せれば記事は出てくる。問題は信用できないことだ — 出典を捏造し、直してもいない記事のlastmodを上げ、頼んでいないファイルに手を出す。人が全部検査するなら任せた意味がない。abloqの答えは分業だ — 生成は確率的、検証は決定論的。人が書くのはインサイト仕様一枚(insight.yaml)だけで、執筆・翻訳・更新・根拠補強はエージェントがクエストとして代行し、品質はblog.yaml一枚から派生した決定論的ゲートが保証する。ロックされたPASSは不可逆だ — エージェントは使い捨てでも進行は累積する。
reins — Quest CLIからドメインだけを残し、ratchetはフレームワークへ
how-make-questはQuest CLIを素手で建てる方法を教えた。だが二つ目のCLIを建てると、同じratchet、同じscan/next/submit、同じ集計をまた書く。reinsはその不変をフレームワークとして抜き出す — ratchet・コマンド骨格・集計・exportはreinsが供給し、あなたはドメインのゲート(gate.Definition 4メソッド)だけを実装する。ゲートはcheese防御ルールのカタログであり、toulmin defeatグラフが『なぜ負けたか、何を変えれば勝つか』という攻略集をエージェントに返す。
huma -- エンドポイントを一つも漏らさないラチェット
AIエージェントに42個のエンドポイントのテストを頼むと15個目辺りで完了を宣言する。humaはエンドポイントリストをラチェットセッションに変えエージェントが一つも漏らせないようにする。scan next write verify。4コマンド設定不要。
yongol — AIコーディングSaaSの竜骨
バイブコーディングは200エンドポイントで崩壊する。AIが意思決定と実装詳細を区別できないからだ。yongolはAIの作業対象をコードから10種の宣言的仕様に移し、レイヤー間の整合性をコンパイル前に強制する。Harness with reins.