Bản gốc tiếng Anh: https://argusic.com/subject/forall-mcp
forall-mcp
Forall (∀) là một coding harness từ Astrio giúp các nhà phát triển xây dựng phần mềm đúng đắn bằng cách tạo mã dựa trên spec cùng với các chứng minh có thể kiểm tra bằng máy.
Chạy đượcnguồn: GitHubRustApache-2.0commit 804ec8000347
Rust, giấy phép Apache-2.0. Dự án tự gắn nhãn: agent framework, agent orchestration, java, rust và typescript.
forall-mcp 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 0,5 phút, không gặp lỗi nào, và toàn bộ phiên làm việc được ghi lại.
Rust workspace builds with cargo, all 44 unit/integration tests pass, and the npm MCP bridge correctly proxies MCP tool requests between stdio and Streamable HTTP.
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
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 cài đặt
- dưới một phút
- Từ máy sạch đến khi xong
- 5 phút
- Lỗi gặp và đã sửa
- gặp 0, tự sửa 0 mà không cần người giúp
- Cách chứng minh kết quả
- cargo test: 44 passed (28+12+1+3+0+0); npm @astrio/forall-mcp mocked end-to-end: bridge proxied tools/list and returned correct tool definitions
- Số token model đã dùng
- 101.060
- Commit chính xác đã test
- 804ec8000347
- 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.
Here's my final assessment: **Rust workspace** — cargo build and cargo test both succeed cleanly. ``` test result: ok. 28 passed (forall-authoring) test result: ok. 12 passed (forall-hosted-verify) test result: ok. 1 passed (standalone_flow integration test) test result: ok. 3 passed (wire_conformance tests) test result: ok. 0 passed (forall-wire unit tests — no tests in that crate) test result: ok. 0 passed (forall-wire doc-tests) ``` **npm MCP bridge** — `@astrio/forall-mcp` installs, syntax-checks OK, module imports cleanly, and t… **No errors encountered** during install, build, test, or verification.
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.
- Cài đặt trong 0,5 phút, nhanh hơn trung vị của 61 dự án tương đương mà Argusic đã đo.
- Không có gì hỏng trên đường đi: không lỗi nào từ lúc clone đến lúc chạy.
- Chạy được không cần GPU, nên không cần GPU để khởi động.
- Giấy phép Apache-2.0, 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ớ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 62 dự án agent-framework mà Argusic đã cài đặt và bấm giờ, forall-mcp đứng thứ 8 về tốc độ đạt trạng thái chạy được, và 48 trên 62 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.
- Đánh giá nhanh: nó đã chạy 0,5 phút sau khi clone.
- Làm theo README của chính dự án: cách làm trong tài liệu chạy được mà không phải sửa gì.
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
Chủ đề (từ GitHub)
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.
[](https://argusic.com/subject/forall-mcp)Câu hỏi
- forall-mcp có chạy được không?
- Có. forall-mcp chạy được. Argusic đã cài đặt và khởi chạy nó trên một máy sạch trong 1 phút, gặp 0 lỗi trên đường đi, và ghi lại phiên làm việc.
- Argusic đã test forall-mcp 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 804ec8000347. 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 forall-mcp tốn bao nhiêu?
- Lần chạy đưa ra kết luận này tốn 0,04 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 forall-mcp mất bao lâu?
- 0,5 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.
- forall-mcp 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 forall-mcp thì gặp lỗi gì?
- Không có lỗi nào trong lần chạy được ghi lại: không lỗi nào từ lúc clone đến lúc chạy.
- forall-mcp so với các lựa chọn khác thế nào?
- Trong 62 dự án agent-framework mà Argusic đã cài đặt và bấm giờ, forall-mcp đứng thứ 8 về tốc độ đạt trạng thái chạy được, và 48 trên 62 dự án đạt được trạng thái đó.
- Bằng chứng cho forall-mcp ở đâ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.