원클릭으로
client-test
Run leanSpec fixtures against a client implementation
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
메뉴
Run leanSpec fixtures against a client implementation
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
Document code in this repository.
Show what changed in leanSpec between devnet versions or HEAD
Run unit tests with coverage
Common developer workflows, commands, and troubleshooting for leanSpec
Read-only, multi-agent audit of the leanSpec codebase. Fans out the py-architect, consensus-researcher, code-tester, and doc-writer agents across the source tree to find dead code, over-abstraction, stdlib simplifications, test gaps, safety/security defects, and documentation rot, then synthesizes a precise, prioritized AUDIT_REPORT.md. Never modifies code.
Run all code quality checks
| name | client-test |
| description | Run leanSpec fixtures against a client implementation |
Run generated leanSpec test fixtures against a client implementation.
/client-test <client-name> e.g. /client-test ream
Generated fixtures live at fixtures/consensus/. Verify it contains JSON files. If empty or missing, generate them:
uv run fill --fork=Lstar --clean -n auto --scheme=prod
Fixtures for client testing must always use --scheme=prod (production signatures).
Clone the client repo into clients/ (gitignored). If already cloned, pull latest.
Remove old fixtures at the destination, then copy the contents of fixtures/consensus/ to the destination (destination path is client-dependent).
Run the test command from the client's test workdir (path is client-dependent). Show full output. Do not abort early on test failures.
If zero tests ran, warn that the client may need to update its test runner to scan the new devnet fixture path.
testing/lean-spec-tests/fixtures/lstartesting/lean-spec-testscargo test --release --features lean-spec-testsleanSpec/fixtures/consensus (leanSpec is a git submodule). (repo root)zig build spectest:generate --summary all (generate Zig test wrappers from JSON fixtures)zig build spectest:run --summary all (run the spec tests)spec/test-vectors (test vector infrastructure is not on master)tests/test_vectors/fixtures/consensus. (repo root)cmake --preset default (configure)cmake --build build -j (build)ctest --test-dir build -R test_vectors_test --output-on-failure (run spec tests)