occupation
unclassified
description
Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository.
updated
CharlesHoskinson/midnight-cardano-bridge
SkillsMP has collected 2 skills from CharlesHoskinson/midnight-cardano-bridge. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 2
- GitHub stars
- 2
- GitHub forks
- 0
Skills in this repository
classification pending
Showing 2 of 2 collected skills.
skill
occupation
description
updated
occupation
unclassified
description
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.
updated
Showing 2 of 2 collected skills.