Skip to main content
Run any Skill in Manus
with one click
GitHub repository

codex-proofline

codex-proofline contains 7 collected skills from semisemil, with repository-level occupation coverage and site-owned skill detail pages.

skills collected
7
Stars
3
updated
2026-07-10
Forks
1
Occupation coverage
1 occupation categories · 100% classified
repository explorer

Skills in this repository

proofline-issue-ledger
software-developers

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
software-developers

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
software-developers

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
software-developers

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
software-developers

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
software-developers

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
software-developers

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