ワンクリックで
review
Quick-reference checklist for code review conventions in leanSpec
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
Quick-reference checklist for code review conventions in leanSpec
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
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 | review |
| description | Quick-reference checklist for code review conventions in leanSpec |
A concise checklist distilled from CLAUDE.md for reviewing leanSpec code.
x25519.X25519PublicKey)from __future__ import annotations in every filefrom __future__ import annotations is presentBytes32, PeerId, RequestId) over raw bytes# ====, # ----)pytest.raises(ExceptionType, match=r"...") for error testsAttestations) over generic (List4096)just fix # Auto-fix lint, formatting, and markdown
just check # Verify all checks pass