SWE-AGI: Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Zhang, Zhirui, Zhang, Hongbo, Fei, Haoxiang, Bao, Zhiyuan, Chen, Yubin, Lei, Zhengyu, Liu, Ziyue, Sun, Yixuan, Xiao, Mingkun, Ye, Zihang, Zhang, Yu, Zhu, Hongcheng, Wen, Yuxiang, Shum, Heung-Yeung
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910018467528704
author Zhang, Zhirui
Zhang, Hongbo
Fei, Haoxiang
Bao, Zhiyuan
Chen, Yubin
Lei, Zhengyu
Liu, Ziyue
Sun, Yixuan
Xiao, Mingkun
Ye, Zihang
Zhang, Yu
Zhu, Hongcheng
Wen, Yuxiang
Shum, Heung-Yeung
author_facet Zhang, Zhirui
Zhang, Hongbo
Fei, Haoxiang
Bao, Zhiyuan
Chen, Yubin
Lei, Zhengyu
Liu, Ziyue
Sun, Yixuan
Xiao, Mingkun
Ye, Zihang
Zhang, Yu
Zhu, Hongcheng
Wen, Yuxiang
Shum, Heung-Yeung
contents Although large language models (LLMs) have demonstrated impressive coding capabilities, their ability to autonomously build production-scale software from explicit specifications remains an open question. We introduce SWE-AGI, an open-source benchmark for evaluating end-to-end, specification-driven construction of software systems written in MoonBit. SWE-AGI tasks require LLM-based agents to implement parsers, interpreters, binary decoders, and SAT solvers strictly from authoritative standards and RFCs under a fixed API scaffold. Each task involves implementing 1,000-10,000 lines of core logic, corresponding to weeks or months of engineering effort for an experienced human developer. By leveraging the nascent MoonBit ecosystem, SWE-AGI minimizes data leakage, forcing agents to rely on long-horizon architectural reasoning rather than code retrieval. Across frontier models, gpt-5.3-codex achieves the best overall performance (solving 19/22 tasks, 86.4%), outperforming claude-opus-4.6 (15/22, 68.2%), and kimi-2.5 exhibits the strongest performance among open-source models. Performance degrades sharply with increasing task difficulty, particularly on hard, specification-intensive systems. Behavioral analysis further reveals that as codebases scale, code reading, rather than writing, becomes the dominant bottleneck in AI-assisted development. Overall, while specification-driven autonomous software engineering is increasingly viable, substantial challenges remain before it can reliably support production-scale development.
format Preprint
id arxiv_https___arxiv_org_abs_2602_09447
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle SWE-AGI: Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents
Zhang, Zhirui
Zhang, Hongbo
Fei, Haoxiang
Bao, Zhiyuan
Chen, Yubin
Lei, Zhengyu
Liu, Ziyue
Sun, Yixuan
Xiao, Mingkun
Ye, Zihang
Zhang, Yu
Zhu, Hongcheng
Wen, Yuxiang
Shum, Heung-Yeung
Software Engineering
Artificial Intelligence
Computation and Language
Although large language models (LLMs) have demonstrated impressive coding capabilities, their ability to autonomously build production-scale software from explicit specifications remains an open question. We introduce SWE-AGI, an open-source benchmark for evaluating end-to-end, specification-driven construction of software systems written in MoonBit. SWE-AGI tasks require LLM-based agents to implement parsers, interpreters, binary decoders, and SAT solvers strictly from authoritative standards and RFCs under a fixed API scaffold. Each task involves implementing 1,000-10,000 lines of core logic, corresponding to weeks or months of engineering effort for an experienced human developer. By leveraging the nascent MoonBit ecosystem, SWE-AGI minimizes data leakage, forcing agents to rely on long-horizon architectural reasoning rather than code retrieval. Across frontier models, gpt-5.3-codex achieves the best overall performance (solving 19/22 tasks, 86.4%), outperforming claude-opus-4.6 (15/22, 68.2%), and kimi-2.5 exhibits the strongest performance among open-source models. Performance degrades sharply with increasing task difficulty, particularly on hard, specification-intensive systems. Behavioral analysis further reveals that as codebases scale, code reading, rather than writing, becomes the dominant bottleneck in AI-assisted development. Overall, while specification-driven autonomous software engineering is increasingly viable, substantial challenges remain before it can reliably support production-scale development.
title SWE-AGI: Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents
topic Software Engineering
Artificial Intelligence
Computation and Language
url https://arxiv.org/abs/2602.09447