Jeden Skill in Manus ausführen
mit einem Klick
mit einem Klick
Jeden Skill in Manus mit einem Klick ausführen
LoslegenGitHub-Repository
pz
pz enthält 4 gesammelte Skills von joelreymont, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.
gesammelte Skills
4
Stars
92
aktualisiert
2026-03-15
Forks
7
Berufsabdeckung
1 Berufskategorien · 100% klassifiziert
Repository-Explorer
Skills in diesem Repository
Creator/Repository/Skill
Skill
Beruf
Beschreibung
Aktualisiert
sync-proofs
Softwareentwickler
Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".
2026-03-15
lean
Softwareentwickler
Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".
2026-03-14
tla
Softwareentwickler
Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".
2026-03-14
release
Softwareentwickler
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