Search
By VeraTools
2 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Vera Code search over the current repository. An agent skill from VeraTools/vera. | VeraTools/ | 119 | — | ~1.2k | Automated safety check: Pass | MIT | yesterday |
| 2 | 2.Vera Code search over the current repository. An agent skill from VeraTools/vera. | VeraTools/ | 119 | — | ~825 | Automated safety check: Pass | MIT | yesterday |
