Search
Documents & Office · sunblaze-ucb/vero
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | A skill your agent uses when scanning a verified source repo (Dafny, Verus, or Coq) to classify every item and produce per-file discovery markdown for human curation. | sunblaze-ucb/ | 107 | — | ~3.9k | Automated safety check: Notes | Apache-2.0 | 1 mo ago |
