菜单
SkillsMP 已收集 iroha1203/AlgebraicArchitectureTheoryV2 中的 19 个 Skill。打开任一 Skill 可查看来源和详情。
已展示 19 / 19 个已收集 Skill。
research/goals/GOAL-ID.mdのactiveなtarget-theorem GOALで、固定targetを弱めずproof obligationをLean theorem、premise discharge、finite witness、blockerとして消化し、標準PR監査と最終math-lean-reviewまで進める。"$target-theorem-loop goal-id"、"大定理証明ループ"で使う。探索型SCORE phaseにはresearch-loopを使う。
原文语言：日语
PR作成後のレビューゲートと大定理のcompletion candidateで、最終スナップショットのAATの数学本文・GOAL・一次仕様とLean実装を、仮定放電、certificate provenance、proof-use、依存、台帳まで4本の独立査読で判定する。"$math-lean-review"、review-prの最終ゲートで使う。
原文语言：日语
Create law-policy/v0.5.4 files for current ArchSig measurement runs.
原文语言：英语
Analyze PR or CI architecture quality from ArchSig measurement packets, AIR, theorem-check, feature-report, policy, signature diff, and pr-quality-analysis artifacts. Use when Codex is asked to review a PR's architecture impact, inspect CI architecture…
原文语言：英语
Create bounded IntentMap artifacts from Epic, PRD, Spec, Issue, or proposal text. Use when Codex is asked to draft, generate, update, or validate an intentmap/v0.5.0 JSON file, extract product or planning intent, or record missing decisions or ambiguous…
原文语言：英语
Review ArchSig AAT Observable Bundle artifacts and translate AAT concept evidence into bounded design review actions. Use when Codex is asked to review AAT-facing ArchSig artifacts, explain invariant/witness/signature/operation/boundary evidence, or decide…
原文语言：英语
Run or read current ArchSig measurement output, then translate summary, insight, viewer, manifest, compare, and gate artifacts into bounded source-level review language.
原文语言：英语
GitHub Issueを指定または優先順から選び、タスク型とsource of truthを確定して実装・検証・commit・push・PR作成・CI確認まで進める。"$issue-to-pr"、"Issue番号を対応して"、"次のIssueを選んでPRまで"で使う。PRのマージやPRD全体の反復にはreview-pr / prd-loopを使う。
原文语言：日语
すべての実装PRが完了した後に、PRD全文から達成条件・拘束条件・must-not-remainを抽出し、一次証拠と独立査読で最終完了可否を判定する。"$prd-completion-review path/to/prd.md"、prd-loopの最終確認で使う。完了まで実装する依頼にはprd-loopを使う。
原文语言：日语
research/goals/<goal-id>.mdのactiveなscore-phase GOALで、独立候補探索、ライバル比較、Lean検証または証拠固定、SCORE監査、PRレビュー、phase判定を反復する。"$research-loop goal-id"、"探索研究ループ"で使う。target-theorem GOALにはtarget-theorem-loopを使う。
原文语言：日语
実装完了後の最終スナップショットを対象に、GitHub PR番号を受け取り、Issue・変更責務を確認し、対応する敵対レビューSKILLへ委譲して内容レビューを統合し、監査コメントを投稿する。CI確認とマージ実行は呼び出し側の責務。"$review-pr PR-number"、最終PRレビュー、内容のマージ可否判定で使う。
原文语言：日语
ArchSig / FieldSigなどrepository toolingのtag・差分・workflowを確認し、英語release notes、GitHub draft release、publish後assetとchecksumを検証する。"$tool-release vX.Y.Z"、tooling release準備で使う。publishと未作成tagのpushはユーザー確認後だけ行う。
原文语言：日语
実装完了後のdocs-only差分やPR packetを対象に、docs/sft、非数学docs/note、PRD、README、.codex/skills、Lean差分を含まないdocs/aat台帳のclaim・整合・情報密度・冗長記述を4観点で非編集レビューする。"$docs-review"単独で明示されたdrift点検では保守を行う。数学本文・GOAL・数学claimはmath-lean-reviewを使う。
原文语言：日语
PRDを不変入力として、ギャップ分析、Issue化、実装PR、敵対レビュー、マージ、台帳同期、独立最終レビューを完了または明示停止条件まで反復する。"$prd-loop path/to/prd.md"、"PRDを完了まで回して"で使う。完了可否のレビューだけならprd-completion-review、単一Issueの実装ならissue-to-prを使う。
原文语言：日语
Compare ArchSig base/head measurement runs, apply gate policy, read the changed code, and turn the result into bounded source-first review questions.
原文语言：英语
ArchSig / FieldSig tooling、docs/tool、schema catalogの実装完了後の最終差分を4観点で敵対レビューし、編集せず合否を返す。"$tool-review"、review-prの最終ゲート、リリース前監査で使う。
原文语言：日语
指定docsやproof obligationから未実装・未証明・未整理タスクを抽出し、既存Issueとの重複、依存、親子関係、source of truth、タスク型を確認してGitHub Issueを作る。"$issue-creater"、"create issue"、docsからIssueを起票する依頼で使う。実装やPR作成には使わない。
原文语言：日语
website/ と docs/website の実装完了後の最終差分を4観点で敵対レビューし、編集せず合否を返す。"$website-review"、review-prの最終ゲート、公開前のweb品質監査で使う。
原文语言：日语
Read FieldSig software-field-measurement and run manifest artifacts while preserving SFT claim boundaries.
原文语言：英语