在 Manus 中运行任何 Skill
一键导入

一键在 Manus 中运行任何 Skill

GitHub 仓库

pz

pz 收录了来自 joelreymont 的 4 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。

joelreymont 资料在 GitHub 查看

已收集 skills

4

Stars

92

更新

2026-03-15

Forks

7

职业覆盖

软件开发工程师

1 个职业分类 · 已分类 100%

仓库浏览

这个仓库中的 skills

创作者/仓库/skill

skill

职业分类

描述

更新

软件开发工程师

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

软件开发工程师

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

软件开发工程师

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

软件开发工程师

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".

一键运行任何 Skill