Menú
Generate consensus layer test fixtures
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional 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 leanSpec fixtures against a client implementation
| name | fill |
| description | Generate consensus layer test fixtures |
Run the test filler to generate consensus layer test fixtures.
uv run fill --fork=Lstar --clean -n auto
Pass additional arguments after --:
/fill -- --scheme=prod - Use production signature scheme (slower)/fill -- --fork=<other> - Generate for a different fork/fill -- path/to/test.py - Generate fixtures for specific test filetests/consensus/fixtures/consensus/The just fill-ci recipe wraps the same command for CI; contributors should
invoke uv run fill directly so flags like --fork and --clean stay visible.