Skip to main content

leanprover/verso-blueprint

Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
1
Estrellas en GitHub
48
Forks en GitHub
7

Instalar con un asistente de IA

Copia este prompt en el asistente de IA que estés usando.

Cargando el README del repositorio…

Skills en este repositorio

clasificación pendiente

Mostrando 1 de 1 skills recopiladas.

ocupación
sin clasificar
descripción

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…

Idioma del texto original: inglés

actualizado
Mostrando 1 de 1 skills recopiladas.