Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
pz
pz contient 4 skills collectées depuis joelreymont, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
4
Stars
92
mis à jour
2026-03-15
Forks
7
Couverture métier
1 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
sync-proofs
Développeurs de logiciels
Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".
2026-03-15
lean
Développeurs de logiciels
Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".
2026-03-14
tla
Développeurs de logiciels
Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".
2026-03-14
release
Développeurs de logiciels
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