skill
职业分类
描述
更新
doc
软件开发工程师
Document code in this repository.
2026-06-09
spec-diff
软件开发工程师
Show what changed in leanSpec between devnet versions or HEAD
2026-06-09
test
软件质量保证分析师与测试员
Run unit tests with coverage
2026-06-09
workflows
软件开发工程师
Common developer workflows, commands, and troubleshooting for leanSpec
2026-06-09
audit
软件质量保证分析师与测试员
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.
2026-06-09
client-test
软件质量保证分析师与测试员
Run leanSpec fixtures against a client implementation
2026-05-06
checks
软件质量保证分析师与测试员
Run all code quality checks
2026-05-06
fill
软件质量保证分析师与测试员
Generate consensus layer test fixtures
2026-05-06
当前展示该仓库 Top 8 / 10 个已收集 skills。