Menu
O SkillsMP coletou 2 skills de CharlesHoskinson/midnight-cardano-bridge. Abra uma skill para revisar a origem e os detalhes.
Mostrando 2 de 2 skills coletadas.
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 do 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 do texto original: inglês