Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
pz
pz contains 4 collected skills from joelreymont, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
4
Stars
92
updated
2026-03-15
Forks
7
Occupation coverage
1 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
sync-proofs
software-developers
Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".
2026-03-15
lean
software-developers
Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".
2026-03-14
tla
software-developers
Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".
2026-03-14
release
software-developers
Release pz with GitHub Actions. Bumps version in build.zig.zon, tags, pushes, and monitors CI. Use when user says "release", "bump version", "bump patch", "bump minor", "bump major", "cut a release", or "publish".
2026-02-23