Search
AI & LLM Engineering · PyTorch · facebook/pyrefly
3 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | A skill your agent uses when adding a new PyTorch model to Pyrefly's shape-tracking example corpus under tensor-shapes/pyrefly-torch-stubs/examples — i.e. | facebook/ | 7.1k | — | ~1.3k | Automated safety check: Pass | MIT | yesterday |
| 2 | Run Pyrefly benchmarks locally via Buck or Cargo, including PyTorch real-world LSP benchmarks. | facebook/ | 7.1k | — | ~1.8k | Automated safety check: Pass | MIT | yesterday |
| 3 | Port a PyTorch model to use pyrefly's tensor shape type system (Tensor[[B, C, H, W]], Int[T]). | facebook/ | 7.1k | — | ~13k | Automated safety check: Pass | MIT | yesterday |
