README des Repositorys wird geladen…
Es werden 1 von 1 gesammelten Skills angezeigt.
Work with Verso Blueprint Lean projects. Use when Codex needs to build or serve Blueprint HTML, query Blueprint labels/dependencies/owners/tags/work queues, debug generated graph/summary/preview data, inspect or edit Blueprint source modules, add conservative…
Quellsprache: Englisch
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/verso-blueprint.Die README konnte nicht geladen werden. Die Skills des Repositorys lassen sich unten weiterhin ansehen.