Bản gốc tiếng Anh: https://argusic.com/subject/leanspec

leanspec

Spec-Driven Development (SDD) nhẹ và linh hoạt cho phát triển hiện đại được hỗ trợ bởi AI

Chạy đượcnguồn: GitHubtrang chủ dự ánRustMITcommit ee122d6fe4bd

Rust, giấy phép MIT. Dự án tự gắn nhãn: ai, ai agents, development, project management, spec và spec driven development.

leanspec chạy được. Trên một máy sạch không có GPU, một agent của Argusic đã cài đặt nó trong 27 phút, gặp 1 lỗi và tự sửa hết mà không cần trợ giúp, và toàn bộ phiên làm việc được ghi lại.

LeanSpec builds, all 891 tests pass (795 Rust + 96 UI), the HTTP server starts and returns HTTP 200 on /health, /health/live, /health/ready endpoints, the CLI binary lists 238 specs and returns stats on 304 total specs, and the MCP binary responds to JSON-RPC requests.

Kết quả agent đạt được trên máy sạch, bằng chính lời của nó. Cách đo

Argusic đo trên một máy mới mỗi lần. Mỗi con số đều link tới bằng chứng của nó. Điểm Argusic 100 trên 100 (trung bình điểm các lần chạy của dự án này).

Tóm tắt

kết luận
Chạy được
Điểm Argusic
100 / 100
chi phí của lần chạy kiểm chứng
0,17 USD (đo thực tế)
số lần chạy đã ghi
1
test gần nhất
lượt star
300
fork
25
issue đang mở
84
người theo dõi
2
dung lượng
21 MB
ngày tạo
push gần nhất

Dữ liệu dự án lấy từ GitHub, có link ở đầu trang, cập nhật . Dữ liệu test của Argusic (CC BY 4.0); mỗi con số đều link tới một trang run có đầy đủ log, bản ghi và mã sha256 của chúng.

Những gì đã đo

Lấy từ lần chạy quyết định kết luận này. Mỗi dòng là một giá trị được ghi lại, không phải ước tính.

Thời gian mất cho từng lỗi khi test leanspec, vẽ từ lần chạy được ghi lại
Mỗi cột là một lỗi agent đã ghi lại, kèm thời gian nó tốn. Vẽ từ lần chạy này, không lấy từ nguồn nào khác.

Những gì trục trặc, bằng chính lời của agent

Lời của chính agent, lỗi nặng nhất trước, không bao giờ viết lại thành lời khuyên.

  • ts-rs proc-macro #[ts(export, export_to = ...)] paths in leanspec-http/src/types/specs.rs and common.rs used ../../../../ from the crate root, which resolves above the filesystem root and causes EACCES PermissionDenied1 phút
Thời gian cài đặt
27 phút
Từ máy sạch đến khi xong
28 phút
Lỗi gặp và đã sửa
gặp 1, tự sửa 1 mà không cần người giúp
Cách chứng minh kết quả
cd /work/repo/rust && cargo test --workspace -> 795 passed; cd /work/repo && pnpm test -> 96 passed (11 files); LEANSPEC_UI_DIST=/work/repo/packages/ui/dist /work/repo/rust/target/release/leanspec-http --no-open --port 3460 --host 127.0.0.1 --project /work/repo & curl http://127.0.0.1:3460/health => HTTP 200; /work/repo/packages/cli/binaries/linux-x64/leanspec --version => lean-spec 0.2.28; /work/repo/packages/cli/binaries/linux-x64/leanspec list => 238 specs found; /work/repo/packages/cli/binaries/linux-x64/leanspec stats --output json => valid JSON with 304 total specs
Số token model đã dùng
144.196
Commit chính xác đã test
ee122d6fe4bd
Container image
sha256:cdd920bce783

Những gì chưa đo

Nửa còn lại, để bạn thấy rõ bằng chứng này đi xa tới đâu. Chỗ trống được ghi là chỗ trống và không bao giờ được lấp vào.

Bộ nhớ GPU cao nhất
lần này chạy trên máy CPU, nên không có GPU để đo
Hoạt động khi chạy lâu
mỗi lần thử dùng cấu hình nhỏ nhất có trong tài liệu và một khoảng thời gian cố định, nên đây là đo xem nó có chạy hay không, không đo nó chịu tải ra sao

Đoạn cuối của bản ghi

Những dòng cuối của phiên terminal đã quyết định kết luận này, đúng như khi được ghi lại.

UI tests: 96 passed (11 files)
/work/repo/rust/leanspec-http/src/types/specs.rs:40
/work/repo/rust/leanspec-http/src/types/common.rs:8
Time to produce the final report:
exec
/bin/sh -lc 'ARGUSIC_RESULT: {"install_succeeded": true, "launch_succeeded": true, "install_minutes…
echo "Done"' in /work/repo
 succeeded in 0ms:
/bin/sh: 1: ARGUSIC_RESULT:: not found
Done
tokens used
144,196

Xem lại toàn bộ phiên, mọi lệnh từ máy sạch tới thời điểm này.

Cách test

Một agent, một container, không có người giúp. Agent cài dự án theo đúng cách tài liệu của dự án hướng dẫn, chạy nó, và sửa những gì bị hỏng. Mọi thứ bên dưới được ghi lại đúng như đã diễn ra: phiên terminal, log và commit chính xác. Toàn bộ phương pháp.

Điểm mạnh và giới hạn

Dữ kiện đo được, không phải ý kiến. Cách viết nội dung.

Những gì suôn sẻ

  • Đạt trạng thái chạy được trên máy sạch, có ghi lại phiên làm việc.
  • Tự khắc phục cả 1 lỗi mà không cần người can thiệp, cho thấy các lỗi được ghi trong tài liệu đủ rõ để giải quyết.
  • Chạy được không cần GPU, nên không cần GPU để khởi động.
  • Giấy phép MIT, theo thông tin từ nơi lưu trữ dự án.

Những gì không suôn sẻ, hoặc chưa biết

  • Mất 27 phút để cài đặt, chậm hơn trung vị của 230 dự án tương đương mà Argusic đã đo.
  • Mới đo một lần. Một lần thử cho thấy nó có thể chạy, chưa cho thấy nó chạy ổn định.

Trong 231 dự án ai mà Argusic đã cài đặt và bấm giờ, leanspec đứng thứ 210 về tốc độ đạt trạng thái chạy được, và 152 trên 231 dự án đạt được trạng thái đó.

Phù hợp để dùng cho

  • Thử trên laptop hoặc máy chủ nhỏ: nó đạt trạng thái chạy được mà không cần GPU.

Cũng đã test, cùng lĩnh vực

Mỗi dự án ở đây đều được Argusic cài đặt và chạy trên máy sạch. Không có dự án nào chưa test xuất hiện ở đây.

Lịch sử chạy

test bởilần thửkết quảđiểmchi phí USDthời điểm
Argusic Runner1/3Chạy được100,000,17

Chủ đề (từ GitHub)

aiai-agentsdevelopmentproject-managementspecspec-driven-development

Nhúng badge

Markdown cho README của dự án. Badge link về trang này; điều khoản ở trang điều khoản.

[![Tested by Argusic](https://argusic.com/badge/leanspec.svg)](https://argusic.com/subject/leanspec)

Câu hỏi

leanspec có chạy được không?
Có. leanspec chạy được. Argusic đã cài đặt và khởi chạy nó trên một máy sạch trong 27 phút, gặp 1 lỗi trên đường đi, và ghi lại phiên làm việc.
Argusic đã test leanspec như thế nào?
Trên một máy mới, dùng một lần, mọi lệnh đều được ghi lại và repo được ghim ở commit ee122d6fe4bd. Có một lần thử được ghi lại, và toàn bộ phương pháp nằm ở trang phương pháp.
Test leanspec tốn bao nhiêu?
Lần chạy đưa ra kết luận này tốn 0,17 USD: chi phí máy và model thật, không phải giá niêm yết theo triệu token. Con số được ghi trên trang của lần chạy đó.
Cài đặt leanspec mất bao lâu?
27 phút trong lần chạy quyết định kết luận này, từ máy sạch đến trạng thái chạy được. Đó là một lần thử đo được, không phải số trung bình.
leanspec có cần GPU không?
Không cần để khởi động. Argusic đã đạt trạng thái chạy được trên một máy không có GPU.
Cài đặt leanspec thì gặp lỗi gì?
1 lỗi xảy ra trong lần chạy được ghi lại, và 1 lỗi đã được sửa mà không cần người giúp. Từng lỗi, cùng thời gian nó tốn, được liệt kê trên trang này.
leanspec so với các lựa chọn khác thế nào?
Trong 231 dự án ai mà Argusic đã cài đặt và bấm giờ, leanspec đứng thứ 210 về tốc độ đạt trạng thái chạy được, và 152 trên 231 dự án đạt được trạng thái đó.
Bằng chứng cho leanspec ở đâu?
Lần chạy được ghi lại nằm trên trang này, mỗi lần link tới log đầy đủ và terminal recording, được lưu kèm dấu vân tay sha256 để không thể bị sửa lén.

Discussion