Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
pz
pz contiene 4 skills recopiladas de joelreymont, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
4
Stars
92
actualizado
2026-03-15
Forks
7
Cobertura ocupacional
1 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
sync-proofs
Desarrolladores de software
Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".
2026-03-15
lean
Desarrolladores de software
Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".
2026-03-14
tla
Desarrolladores 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
Desarrolladores 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