英語の原文: https://argusic.com/subject/leanspec

leanspec

モダンな AI を活用した開発のための、軽量で柔軟なスペック駆動開発 (SDD)

動作するソース: GitHubホームページRustMITコミット ee122d6fe4bd

Rust、MIT ライセンス. プロジェクト自身の表記: ai、ai agents、development、project management、spec、spec driven development.

leanspec は動作します。Argusic のエージェントが GPU のないクリーンなマシンで 27 分でインストールし、1 件のエラーに遭遇してすべてを自力で修正し、セッション全体が記録されました。

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.

クリーンなマシンでエージェントが最終的に得た結果 (エージェント自身の言葉)。 計測方法

Argusic が毎回新しいマシンで計測しています。 すべての数値はその証拠にリンクしています。 Argusic スコア 100 点中 100 点 (このプロジェクトの実行スコアの平均)。

概要

判定
動作する
Argusic スコア
100 / 100
検証した実行のコスト
0.17 USD (実測)
記録された実行
1
最終テスト
スター
300
フォーク
25
未解決の Issue
84
ウォッチャー
2
サイズ
21 MB
作成日
最終プッシュ

プロジェクトのデータは GitHub から取得 (このページの冒頭にリンクあり)、更新日 。テストデータは Argusic によるもので (CC BY 4.0)、すべての数値は、完全なログ、録画、それらの sha256 ハッシュを含む実行ページにリンクしています。

計測した内容

この判定を決めた実行から取得しています。 各行は記録された値であり、推定値ではありません。

leanspec のテスト中に各失敗で失われた時間 (記録された実行から作成)
各バーはエージェントが記録した失敗と、それにかかった時間です。この実行のデータのみから描いています。

うまくいかなかった点 (エージェント自身の言葉)

エージェント自身の言葉を、深刻なものから順に掲載しています。助言に書き換えることはありません。

  • 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 分
インストール時間
27 分
クリーンなマシンから完了まで
28 分
遭遇したエラーと修正したエラー
1 件に遭遇、1 件を人の手を借りずに修正
結果の証明方法
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
使用したモデルのトークン
144,196
テストした正確なコミット
ee122d6fe4bd
コンテナイメージ
sha256:cdd920bce783

計測していない内容

残りの半分です。この証拠がどこまでを示すのかを正確に確認できます。欠けている部分は欠けているものとして表示し、埋めることはありません。

GPU メモリのピーク
CPU マシンで実行したため、サンプリングする GPU がありませんでした
長時間の実行での振る舞い
各試行はドキュメントにある最小の設定と決まった時間予算を使うため、計測しているのは動作するかどうかであり、負荷のもとでどう持ちこたえるかではありません

録画の最後

この判定を決めたターミナルセッションの最後の行を、記録されたとおりに表示しています。

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

セッション全体を再生 (クリーンなマシンからこの時点までのすべてのコマンド)。

テスト方法

1 つのエージェント、1 つのコンテナで、人の手は借りません。エージェントはプロジェクト自身のドキュメントに書かれた方法でインストールし、実行し、壊れた部分を修正します。以下はすべて、実際に起きたとおりに記録されています: ターミナルセッション、ログ、そして正確なコミットです。 評価方法の全文.

強みと限界

意見ではなく、計測された事実です。コンテンツの作成方法.

うまくいった点

  • クリーンなマシンで実行状態に達し、セッションが記録されました。
  • 1 件のエラーすべてから、人の介入なしに回復しました。失敗が解決できる程度にはドキュメント化されていることを示しています。
  • GPU なしで動作したため、起動に GPU は必要ありません。
  • ホストの報告によると、ライセンスは MIT です。

うまくいかなかった点、または不明な点

  • インストールに 27 分かかり、Argusic が計測した比較可能な 230 件のプロジェクトの中央値より遅い結果です。
  • これまでの計測は 1 回です。1 回の試行は動作し得ることを示すだけで、安定して動作することは示しません。

Argusic がインストールして時間を計測した ai のプロジェクト 231 件のうち、leanspec は実行状態に達するまでの速さが 210 番目で、231 件中 152 件がそもそも実行状態に達しました。

適している用途

  • ノートパソコンや小さなサーバーで試す場合: GPU なしで実行状態に達しました。

同じ分野でテストしたプロジェクト

ここに挙げたものはすべて、Argusic がクリーンなマシンにインストールして実行しました。テストしていないものは表示されません。

実行履歴

テスト担当試行結果スコアコスト (USD)日時
Argusic Runner1/3動作した100.000.17

トピック (出典: GitHub)

aiai-agentsdevelopmentproject-managementspecspec-driven-development

バッジを埋め込む

プロジェクトの README に貼る Markdown です。バッジはこのページにリンクします。利用条件: 利用規約ページ.

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

質問

leanspec は動作しますか?
はい。leanspec は動作します. Argusic はクリーンなマシンで 27 分でインストールして起動し、途中で 1 件のエラーに遭遇し、セッションを記録しました。
Argusic は leanspec をどのようにテストしましたか?
新しい使い捨てのマシンで、すべてのコマンドを記録しながらテストしました (リポジトリはコミット ee122d6fe4bd に固定)。記録された試行は 1 回で、手順の全体は評価方法のページに掲載しています。
leanspec のテストにはいくらかかりましたか?
この判定を出した実行のコストは 0.17 USD です: 100 万トークンあたりの定価ではなく、実際の計算資源とモデルのコストです。その実行のページに記録されています。
leanspec のインストールにはどのくらい時間がかかりますか?
この判定を決めた実行では、クリーンなマシンから実行状態まで 27 分でした。これは 1 回の計測された試行であり、平均ではありません。
leanspec には GPU が必要ですか?
起動には必要ありません。Argusic は GPU のないマシンで実行状態に達しました。
leanspec のインストールでは何がうまくいきませんか?
記録された実行では 1 件の問題が発生しました。そのうち 1 件は人の手を借りずに修正されました。それぞれの問題と、かかった時間をこのページに掲載しています。
leanspec は代替のプロジェクトと比べてどうですか?
Argusic がインストールして時間を計測した ai のプロジェクト 231 件のうち、leanspec は実行状態に達するまでの速さが 210 番目で、231 件中 152 件がそもそも実行状態に達しました。
leanspec の証拠はどこにありますか?
記録された実行をこのページに掲載しており、それぞれが完全なログとターミナル録画にリンクしています。録画は sha256 フィンガープリントとともに保存されているため、こっそり改変することはできません。

Discussion