Skip to main content
Run any Skill in Manus
with one click
semisemil
GitHub creator profile

semisemil

Repository-level view of 7 collected skills across 1 GitHub repositories.

skills collected
7
repositories
1
updated
2026-07-10
repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

repository explorer

Repositories and representative skills

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
Showing 1 of 1 repositories
All repositories loaded