Menú
SkillsMP ha recopilado 2 skills de CharlesHoskinson/midnight-cardano-bridge. Abre una skill para revisar su origen y sus detalles.
Mostrando 2 de 2 skills recopiladas.
Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository.
Idioma del texto original: inglés
Use when bridge work involves formalization, Lean or Quint selection, proof claims, obligation status, cross-layer correspondence, formal-session recovery, or formal evidence review for candidate, audit, or release.
Idioma del texto original: inglés