en un clic
client-test
Run leanSpec fixtures against a client implementation
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Menu
Run leanSpec fixtures against a client implementation
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle 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)