Search
Product & Project Management · By jongwony
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Rederive This skill should be used when a contributor names a core protocol whose Lean contract is to be re-derived, or invokes /rederive. | jongwony/ | 173 | — | ~4.3k | Automated safety check: Notes | MIT | yesterday |
