Search
Backend & APIs · Stellar · sickn33/agentic-awesome-skills
2 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Foundry and Soroban formal invariant verification register: state transition rules, boundary invariant properties, and symbolic execution checks. | sickn33/ | 47k | 1 repo | ~1.4k | Automated safety check: Pass | MIT | 2 days ago |
| 2 | Soroban WASM upgrade governance register: executable bytecode hash, timelocked migration delays, and multi-sig authorization quorum. | sickn33/ | 47k | 1 repo | ~1.4k | Automated safety check: Pass | MIT | 2 days ago |
