Locates and verifies the repository-owned Lean and Quint workflow.
1 skill
2
Plugin marketplace
bridge-formal-local
A design study and citation-backed knowledge base for a two-way trustless bridge between Midnight and Cardano.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
README badge
Shows how many plugins this repo ships, and links here.
claude & codex pluginslisted