Menu
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Une commande directe contourne le prompt de vérification. Examinez la source avant de l'exécuter.
npx skills add https://github.com/hoanganhduc/openclaw-bot --skill formal-skeleton-helperLa commande reste sur une seule ligne. Faites défiler horizontalement pour la vérifier avant de la copier.
Vous préférez une copie locale ? Téléchargez les fichiers actuellement disponibles dans SkillsMP.
Basé sur la classification professionnelle SOC
Affichage de SKILL.md
| name | formal_skeleton_helper |
| description | Generate a minimal Lean-style theorem skeleton locally. |
| user-invocable | true |
| disable-model-invocation | true |
| metadata | {"openclaw":{"emoji":"∎","requires":{"bins":"[Truncated]"}}} |
Use this skill when the user asks for a Lean-style theorem skeleton, namespace wrapper, or a local file containing a formal statement stub.
/tmp/formal_input.json with keys: claim_name, statement, imports, namespace, variables.exec: /workspace/skills/formal-skeleton-helper/run_formal_skeleton.sh --input /tmp/formal_input.json