Skip to main content
Manus에서 모든 스킬 실행
원클릭으로
GitHub 저장소

codex-proofline

codex-proofline에는 semisemil에서 수집한 skills 7개가 있으며, 저장소 수준 직업 범위와 사이트 내 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