論文の概要: Vibenix: Agentic Software Packaging and Maintenance with Nix

• arxiv url: http://arxiv.org/abs/2610.24712v1
• Date: Sat, 17 Oct 2026 14:21:29 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-10-20 11:49:54.993002
• Title: Vibenix: Agentic Software Packaging and Maintenance with Nix
• Title（参考訳）: Vibenix: Nixによるエージェントソフトウェアパッケージングとメンテナンス
• Abstract要約: 不必要な依存関係、制御されていないネットワークアクセス、その他のビルド環境の不純物は、不透明なソフトウェアサプライチェーンを生成する。 我々は、Nixパッケージング式を自動的に生成することで、このギャップを埋める、オープンソースのAIエージェントであるVibenixを紹介する。 新しいパッケージメンテナンスタスクのNixBench-Repairデータセットで、Vibenixは87.6%の成功率を達成した。
• 参考スコア（独自算出の注目度）: 37.71432065099737
• License:
• Abstract: Implicit dependencies, uncontrolled network access, and other build-environment impurities create intransparent software supply chains. Identifying every dependency affecting a build is a difficult task. Functional package management addresses this through reproducible packaging, ensuring software relies exclusively on declared, hermetically isolated inputs. However, creating build recipes remains complex and time-consuming, posing a significant barrier to adoption for developers and maintainers. We present Vibenix, an open-source AI-powered agent that bridges this gap by automatically generating Nix packaging expressions. Vibenix uses a large language model (LLM) to iteratively refine recipes through a rule-guided build-repair feedback loop. On 466 packaging tasks from our new NixBench dataset, Vibenix produced buildable packages in 95.3% of cases using Claude Haiku 4.5, compared with 5.6% for a state-of-the-art LLM-based single-shot packaging tool. Manual validation of 100 packages revealed that 47% of the buildable packages were initially functionally correct; a post-build refinement process based on the evaluator-optimizer pattern increased functional correctness by 35 percentage points. On our new NixBench-Repair dataset of package maintenance tasks, Vibenix achieved an 87.6% success rate. These results demonstrate how unreliable LLMs can generate rigorously defined, complete, auditable dependency trees for real-world software, reducing maintainer burden while providing a trustworthy foundation for secure software distribution.
• Abstract（参考訳）: 不必要な依存関係、制御されていないネットワークアクセス、その他のビルド環境の不純物は、不透明なソフトウェアサプライチェーンを生成する。 ビルドに影響を与えるすべての依存関係を特定するのは難しい作業です。 機能パッケージ管理は、再現可能なパッケージングを通じてこの問題に対処する。 しかし、ビルドレシピの作成は複雑で時間を要するため、開発者やメンテナにとって大きな障壁となる。 我々は、Nixパッケージング式を自動的に生成することで、このギャップを埋める、オープンソースのAIエージェントであるVibenixを紹介する。 Vibenixは大規模な言語モデル(LLM)を使用して、ルール誘導のビルド/リペアフィードバックループを通じてレシピを反復的に洗練する。 新しいNixBenchデータセットからの466のパッケージングタスクにおいて、VibenixはClaude Haiku 4.5を使用して95.3%のケースでビルド可能なパッケージを生成した。 手作業による100パッケージの検証の結果,ビルド可能なパッケージの47%が当初は機能的正当性を示し,評価器最適化パターンに基づく後処理処理により機能的正当性は35ポイント向上した。 新しいパッケージメンテナンスタスクのNixBench-Repairデータセットで、Vibenixは87.6%の成功率を達成した。 これらの結果は、信頼性の低いLLMが、現実世界のソフトウェアに対して厳密に定義された、完全で監査可能な依存性ツリーを生成し、保守者の負担を軽減するとともに、セキュアなソフトウェア配布のための信頼できる基盤を提供することを示す。

関連論文リスト

• KAT-Coder-V2.5 Technical Report [61.907486544595336]
  KAT-Coder-V2.5は、実際の実行可能リポジトリ内で自律的に動作するよう訓練されたコーディング中心のエージェントモデルである。 マルチ言語リポジトリをサンドボックス環境に再構築し、フェイル・ツー・パスとパス・ツー・パスの検証を大規模に行う。 我々はさらに、ハーネスランダム化による強化学習、信頼性の強化されたサンドボックス、非対称なアクター-クリティックPPO、およびハイチ指向の報酬フレームワークをスケールする。
  論文  参考訳（メタデータ） (2026-07-06T08:14:02Z)
• Orchard: An Open-Source Agentic Modeling Framework [124.68499958175111]
  スケーラブルなエージェントモデリングのためのオープンソースのフレームワークOrchardを紹介します。 Orchard Envは、サンドボックスライフサイクル管理のための再利用可能なプリミティブを提供する軽量環境サービスである。 Orchard Envの上に、3つのエージェントモデリングレシピを構築します。
  論文  参考訳（メタデータ） (2026-05-14T16:35:12Z)
• EvidenT: An Evidence-Preserving Framework for Iterative System-Level Package Repair [26.445772656438752]
  ツール実行からエビデント管理を分離するエビデント修復フレームワークであるエビデントを提案する。 実世界のRISC-Vパッケージビルド障害219件についてEvidenTの評価を行った。 予備実験はaarch64で41.77%、x86_64で46.99%の成功率を達成した。
  論文  参考訳（メタデータ） (2026-05-09T02:29:57Z)
• Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery [47.704311990064554]
  脱コンパイルは、セキュリティ分析、マルウェアのリバースエンジニアリング、レガシーソフトウェアメンテナンスに不可欠である。 マルチレベル制約誘導型デコンパイル(MCGD)により,デコンパイルされたコードを再実行可能なソースに変換するマルチエージェントフレームワークを提案する。 本フレームワークは,84～97%の再実行性を実現し,28～89ポイントのベースラインデコンパイラ出力を改善した。
  論文  参考訳（メタデータ） (2026-04-27T01:28:11Z)
• Analyzing the Availability of E-Mail Addresses for PyPI Libraries [89.21869606965578]
  81.6%のライブラリには、少なくとも1つの有効な電子メールアドレスが含まれており、PyPIが主要なソースとなっている。 698,000以上の無効なエントリを識別します。
  論文  参考訳（メタデータ） (2026-01-20T14:54:58Z)
• LLMs as Packagers of HPC Software [2.195636219953539]
  Spackのようなツールは依存関係の解決と環境管理を自動化するが、その効果は手書きのビルドレシピに依存している。 SpackItは、リポジトリ分析、関連するサンプルの検索、診断フィードバックによる反復的改善を組み合わせたエンドツーエンドフレームワークである。 以上の結果から,SpackItはゼロショット環境でのインストール成功率を20%から,最高の設定で80%以上に向上させることがわかった。
  論文  参考訳（メタデータ） (2025-11-07T00:06:51Z)
• Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation [9.952399779710044]
  本稿では,zkSolcコンパイルパイプライン内のSolidityソースコード,LLVM IR,zkEVMバイトコード間のトレーサビリティを確立するためのソースマッピングフレームワークを提案する。 我々は,50のベンチマークコントラクトと500の現実世界のzkSyncコントラクトのデータセット上でフレームワークを評価し,標準のSolidity構造に対して約97.2%のマッピング精度を観測した。
  論文  参考訳（メタデータ） (2025-04-06T01:42:07Z)
• Does Functional Package Management Enable Reproducible Builds at Scale? Yes [4.492444446637857]
  Reproducible Builds (R-B) は、ソフトウェアパッケージをソースから再構築することを保証する。 我々は,Nix機能パッケージマネージャのコンテキストにおいて,ビットワイズに関する最初の大規模研究を行う。 非常に高いビットワイズ率、69～91%の上昇傾向、さらに高いリビルド可能性率、99%以上を得ています。
  論文  参考訳（メタデータ） (2025-01-27T10:11:27Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。