Skip to main content
Ejecuta cualquier Skill en Manus
con un clic
Repositorio de GitHub

codex-proofline

codex-proofline contiene 7 skills recopiladas de semisemil, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

skills recopiladas
7
Stars
3
actualizado
2026-07-10
Forks
1
Cobertura ocupacional
1 categorías ocupacionales · 100% clasificado
explorador de repositorios

Skills en este repositorio

proofline-issue-ledger
Desarrolladores de software

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
Desarrolladores de software

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
Desarrolladores de software

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
Desarrolladores de software

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
Desarrolladores de software

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
Desarrolladores de software

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
Desarrolladores de software

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