Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
Repositório GitHub

pz

pz contém 4 skills coletadas de joelreymont, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de joelreymontVer no GitHub
skills coletadas
4
Stars
92
atualizado
2026-03-15
Forks
7
Cobertura ocupacional
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
explorador de repositórios

Skills neste repositório

sync-proofs
Desenvolvedores de software

Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".

2026-03-15
lean
Desenvolvedores de software

Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".

2026-03-14
tla
Desenvolvedores de software

Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".

2026-03-14
release
Desenvolvedores de software

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
pz Agent Skills no GitHub | SkillsMP