leanSpec

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

Run all code quality checks

Generate consensus layer test fixtures

Auto-fix linting and formatting issues

Quick-reference checklist for code review conventions in leanSpec