NAEOS

仕様主導の開発基盤

• 仕様書をシステムの唯一の正確な情報源として扱い、仕様の解析から検証、内部モデル構築、コード生成までを一貫した流れで実行します。
• 仕様と実装が時間とともに乖離する問題を抑え、ドキュメントの陳腐化や新しい開発者による大規模なコードベースの再調査を減らします.

検証可能で拡張性の高いパイプライン

• Go、TypeScript、Python、Java、Rustに対応し、検証済みのエンジニアリングモデルから一貫性のある実コードを生成します。
• プロファイリング、メモリ分析、ステージキャッシュ、分散ビルドにより、大規模なシステムでも再ビルドやパイプライン処理を効率化できます。
• .naeos.yaml向けの補完、診断、定義ジャンプを備えたNEIR対応LSPや、VS Code拡張機能の生成機能も利用できます。

AI開発とオープンソース対応

• NEIRから複数のAI開発ツール向けに指示セットを生成し、AIアシスタントが推測ではなく正確なシステム構造を参照して作業できます。
• Copilot、Claude Code、Cursor、Gemini CLI、Codex、OpenCodeに加え、MCPサーバーにも対応し、AIを仕様主導の開発フローへ組み込めます。
• Apache 2.0で公開されたオープンソースとして、ロードマップや公式プラグイン、Go製マイクロサービス用スターターも提供しています。