どうやって使いますか？

Linux・macOSは「curl -fsSL https://raw.githubusercontent.com/ahmadshady747-create/LOCUS/main/scripts/install.sh | bash」で、WindowsはPowerShellインストーラで導入。Cargo経由では「cargo install locus-engine」。Claude DesktopやCursorに統合する場合、claude_desktop_config.jsonまたはCursor MCP設定に「locus」コマンドを追加。

従来のリンタと何が違いますか？

Locusは9マイクロ秒～0.05ミリ秒で検証するのに対し、ESLintやClippyは250～1500ミリ秒かかる。クラウドAIガードレールは500～2500ミリ秒。Locusは100%安全なRustで実装され、外部依存なし。

どういった安全性をチェックしますか？

6つの規則がある：デリミタ一致（Dijkstra）、async contextでのstd::sync::Mutex使用禁止、ゼロ除算検証、配列バウンダリチェック、.unwrap()/expect()の根拠なき使用禁止、ReDoS正規表現検出。各パスは決定論的で、確率的ではない。

大規模言語モデルAIコーディングAI安全性・アラインメントHacker News2026年8月21日2026年8月21日 22:003分で読める

Locus：Rust製のAIエージェント向け安全性検証エンジン

LINEで送る

要点

Ahmed Shadiが開発したLocusは、AIコード生成エージェント向けの決定論的AST安全性チェッカー。
6つの安全規則を9マイクロ秒で検証し、LLMコンテキストのトークン消費を最大80%削減できる。
Claude Desktop・Cursorに直接統合可能。

3つのポイント

何が起きたか
Ahmed Shadiが開発したLocus（locus-engine）は、AI code generationエージェント（Claude Code、Cursor、Copilotなど）向けの安全性検証ツール。デリミタのバランス、非同期mutex、ゼロ除算、配列境界、パニック誘発の.unwrap()、ReDoS攻撃の6つの決定論的な安全性チェックを9.04マイクロ秒で実行する。100%安全なRustで記述されており、外部依存関係はない。
なぜ重要か
AIエージェントは生成コードで括弧不閉鎖やasync-mutexデッドロック、多項式正規表現などの誤りを頻繁に作る。同時に、LLMコンテキストウィンドウに重複する関数本体を繰り返し入力すると、トークン予算の最大80%を無駄にする。Locusはこれら両方の問題を、Claude DesktopやCursor向けのModel Context Protocol（MCP）統合を通じて解決する。
注目点
SymbolGraphインデクサーは74.8%のトークン削減を達成し、ファイルあたり27.15マイクロ秒でスキャンできる。無料個人使用、年150ドル USD/座席の内部商用ライセンス、年1万ドル USDのSaaS/OEMライセンスがある。

この記事についてAIに質問する →

こういう要約が、毎朝あなたのメールに届きます。

こうしたAIニュースを毎朝無料で受け取る LINEで友だち追加して受け取る

背景と解説

AI code generationエージェントの急速な普及により、生成コードの品質と効率が開発ワークフローの大きなボトルネックになっている。Locusは2つの主要課題に対処する。第1は確率的なシンタックスエラー（括弧不閉鎖、.unwrap()パニック、async-mutexデッドロック）で、これらはAIモデルが言語規則を確実に遵守できないために発生する。第2はコンテキストウィンドウの浪費で、LLMに繰り返し全体ファイルを送付すると、実装本体（74.8%のトークン削減が可能）が有効なシンボル情報を覆い隠す。Locusの解法は3層構成：AstGuardが6つの決定論的不変式を実行可能な超低レイテンシ（9マイクロ秒）で走査し、AstDiffEngineとSymbolGraphが関数署名と依存グラフを抽出して50～80%のトークン節約を実現し、MCP統合がClaude DesktopやCursorなどの標準的なAI IDEに直接接続する。Business Source License 1.1による多段階価格設定（無料個人、年150ドル座席単位の内部商用、年1万ドルのSaaS OEM）により、個人開発者から企業ユーザーまで段階的な採用を想定している。

よくある質問

どうやって使いますか？: Linux・macOSは「curl -fsSL https://raw.githubusercontent.com/ahmadshady747-create/LOCUS/main/scripts/install.sh | bash」で、WindowsはPowerShellインストーラで導入。Cargo経由では「cargo install locus-engine」。Claude DesktopやCursorに統合する場合、claude_desktop_config.jsonまたはCursor MCP設定に「locus」コマンドを追加。
従来のリンタと何が違いますか？: Locusは9マイクロ秒～0.05ミリ秒で検証するのに対し、ESLintやClippyは250～1500ミリ秒かかる。クラウドAIガードレールは500～2500ミリ秒。Locusは100%安全なRustで実装され、外部依存なし。
どういった安全性をチェックしますか？: 6つの規則がある：デリミタ一致（Dijkstra）、async contextでのstd::sync::Mutex使用禁止、ゼロ除算検証、配列バウンダリチェック、.unwrap()/expect()の根拠なき使用禁止、ReDoS正規表現検出。各パスは決定論的で、確率的ではない。

Hacker News元記事を読む

LINEで送る