Skip to main content
在 Manus 中运行任何 Skill
一键导入
GitHub 仓库

codex-proofline

codex-proofline 收录了来自 semisemil 的 7 个 skills,并提供仓库级职业覆盖和站内 skill 详情页。

已收集 skills
7
Stars
3
更新
2026-07-10
Forks
1
职业覆盖
1 个职业分类 · 已分类 100%
仓库浏览

这个仓库中的 skills

proofline-issue-ledger
软件开发工程师

Use when a real side issue is found but will not be fixed within the current approved scope. Record only evidence-backed issues that can affect future work and have a concrete suggested next step.

2026-07-10
proofline-completion-evidence
软件开发工程师

Use when reporting task completion, verification results, blockers, failed checks, or unverified work. Require current-task evidence and clearly separate completed, verified, unverified, blocked, and recorded issues.

2026-07-10
proofline-exact-port
软件开发工程师

Use when the user asks to port, migrate, copy, or transplant an implementation while preserving behavior exactly or forbidding a rewrite. Keep the source authoritative and require approval for every deviation.

2026-07-10
proofline-refactor-proof
软件开发工程师

Use for refactors, restructuring, responsibility splits, dependency cleanup, architecture or module-boundary changes, and state or data flow changes. Prove that the intended structure changed rather than only names or surface code.

2026-07-10
proofline-scope-integrity
软件开发工程师

Use when work is large, risky, multi-step, or easy to shrink accidentally. Keep the full approved goal, checkpoints, verification plan, risks, and approval decisions visible. Not for ordinary low-risk work.

2026-07-10
proofline-baseline-quality
软件开发工程师

Use for all user-facing responses and artifacts. Write naturally in the user's language, localize ordinary source-language prose, prefer plain wording, clarify consequential ambiguity, make outputs stand alone, apply corrections beyond literal example details, keep diagnostic or rejected wording out of outputs, and keep UI text and code readable.

2026-07-02
proofline-capability-growth
软件开发工程师

Use for Codex capability growth: review repeated manual work, shortlist automation candidates, check existing tools, and prepare skill/script/hook/Codex automation registration only after user approval.

2026-07-02