グラフファーストのプログラムモデル
エージェントは生のテキストではなくセマンティックグラフを扱うため、編集対象はノード、フィールド、呼び出し、宣言、その他のプログラム事実そのものになります。
Zeroとは？
Zeroは、エージェント支援開発向けに構築された実験的なグラフファースト型プログラミング言語です。グラフをプログラムデータベースとして扱うため、エージェントはセマンティック構造を照会し、検証済みの編集を送信し、変更がパッケージの一部になる前にコンパイラによる検証に依存できます。
このサイトでは、Zero は人間が成果を依頼し、エージェントが編集ループを実行する場面に向いたツールとして位置付けられています。人間はプロジェクションとコマンド出力を確認し、コンパイラは形状チェック、古い状態の保護、リポジトリメタデータの検証を通じてグラフの整合性を保ちます。
Zeroでできること
検証済みのセマンティック編集
パッチは、受け入れられる前にグラフハッシュ、期待値、形状ルール、リポジトリメタデータに対して検証されます。
無効な変更の早期検証
コンパイラは、古い編集や無効な編集がストアに触れる前に拒否するため、エージェントにとって編集ループがより決定的になります。
人間が読みやすいプロジェクション
読みやすい `.0` プロジェクションは、テキストを主たるプログラムデータベースにせずに、レビューやまれな手動編集のためのソース風ビューを提供します。
エージェント指向のコマンドワークフロー
日常的なワークフローには、エージェント支援開発向けの query、patch、check、test、run、build コマンドが含まれます。
軽量なランタイム重視
ランタイムの目標は、小さく、高速で、明示的、依存関係なしのシステムであり、低メモリ使用量と高速な起動・ビルドを重視しています。
利用シーン
“エージェント主導のプログラム編集”
エージェントが関数の追加、呼び出しの更新、型付きのプログラム事実の調整など、テキスト範囲を手作業で書き直さずにセマンティックなコード変更を行う必要がある場合に Zero を使います。
“生成コードの人間レビュー”
人間が変更を受け入れたり手動で調整したりする前に、プログラムの読みやすい表現を確認したい場合は、プロジェクションとレビューのフローを使います。
“より安全な段階的変更”
古い状態の保護と検証によって、無効な編集がストアを変更する前に失敗するようにしたい場合は、検証済みパッチのワークフローを使います。
“ローカルでの実験と反復”
ローカルパッケージを準備するためのインストールとブートストラップのフローを使い、その後、query、patch、check、test、run、build コマンドの日常ループを実行します。
“成果物の生成と実行”
グラフで管理されたプログラムから実行可能成果物、オブジェクト成果物、または LLVM IR 成果物が必要なとき、特に初期の探索段階では build と run コマンドを使います。
よくある質問
Zeroはどのように使う想定ですか？
Zeroは、人間とエージェントが協力して使うように設計されています。エージェントはグラフを通じてプログラムを作成し、人間は必要に応じてグラフの要約、コマンド出力、`.0` プロジェクションを確認します。
Zeroはどのようにインストールして使い始めますか？
はじめにガイドでは、`curl -fsSL https://zerolang.ai/install.sh | bash` を実行し、次に `$HOME/.zero/bin` を `PATH` に追加して `zero --version` を実行する手順が示されています。また、`npx skills add vercel-labs/zerolang` でエージェントのブートストラップスキルをインストールすることも案内されています。
Zeroのワークフローはどのようなものですか？
ソースでは、日々の作業ループとして `zero query`、`zero patch`、`zero check`、`zero test`、`zero run`、`zero build` を使うよう説明されています。また、`zero export` と `zero verify-projection` は人間によるレビューのワークフロー向けだと記されています。
重要な制限や注意点はありますか？
サイトでは、Zero は 1.0 未満の実験段階であり、破壊的変更が予想されると説明されています。また、本番システムではなく、安全な環境で実行するよう案内しています。
人間がソースを直接編集できますか？
この製品は、人間が読みやすく確認できる `.0` プロジェクションを中心に設計されていますが、グラフデータベースそのものはコンパイラが管理し、そこへエージェントが編集を加えます。人間がときどきプロジェクションを編集することはできますが、基本的にはエージェントが `zero query` と `zero patch` を通じて作業する想定です。
クイック情報
- カテゴリ
- 開発者向けツール
- 主な利用者
- エージェントと協働する人間
- ソースドメイン
- zerolang.ai
- インターフェースモデル
- グラフファースト型プログラミング言語
- ワークフロー
- `zero query`、`zero patch`、`zero check`、`zero test`、`zero run`、`zero build`
- 価格
- 価格ページはありません。サイトには 404/Not Found 応答が表示されます
Zero のトラフィック分析
トラフィックデータは参考情報としてご利用ください。
- ドメイン評価
- 37
Zeroの代替品
Polygraph
trypolygraph.com
Polygraphは複数リポジトリを1つのグラフに統合し、AIコーディングエージェントの引き継ぎ時もコンテキストを保持します。
Polygres
polygres.com
Polygresは、グラフ探索、ベクトル検索、ハイブリッド検索を1つのシステムに統合した、PostgreSQLベースのエージェントワークフロー向けプラットフォームです。セルフホストまたはマネージドクラウドで運用でき、ライブデータベースの行をAIエージェントが検索できるコンテキストに変換します。
Orca
onorca.dev
Orcaはコーディングエージェントで開発を進めるためのエージェント開発環境です。分離されたworktreeで複数のCLIエージェントを並列実行し、デスクトップとモバイルの連携ワークフローに対応します。
blop
blopai.com
ブラウザテストを作成・実行・分類・修正するQAエージェント
RLAMA
rlama.dev
RAGシステムとAIエージェントを構築するローカルAIプラットフォーム
Kastra
kastra.ai
Kastraは、プロンプト、ツール呼び出し、シェルコマンド、APIリクエスト、ブラウザ操作を実行前に検査する、AIシステム向けの認可インフラです。ポリシー適用、署名付き監査証跡の保持、ローカルおよびエンタープライズAIワークフローのガバナンスを支援します。