一键导入
test
Run unit tests with coverage
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Run unit tests with coverage
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Document code in this repository.
Show what changed in leanSpec between devnet versions or HEAD
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
Run all code quality checks
| name | test |
| description | Run unit tests with coverage |
Run pytest unit tests.
just test
Pass additional arguments after --:
/test -- -v - Verbose output/test -- -k "test_serialize" - Run matching tests/test -- tests/spec/ssz/ - Run specific test directory/test - Run all unit tests/test -- --cov - Run with coverage report