Search

By facebook

6 skills found.
Search results
#SkillRepositoryStarsUsed inTokensAuto-checkLicenceUpdated
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/pyrefly7.1k—~1.3kAutomated safety check: PassMITtoday
2

Run Pyrefly benchmarks locally via Buck or Cargo, including PyTorch real-world LSP benchmarks.

facebook/pyrefly7.1k—~1.8kAutomated safety check: PassMITtoday
3

A skill your agent uses when Pyrefly computes a wrong tensor shape (or is missing one that can't be expressed in a stub signature) and you need to add or fix a shape-DSL rule.

facebook/pyrefly7.1k—~1.2kAutomated safety check: PassMITtoday
4

Port a PyTorch model to use pyrefly's tensor shape type system (Tensor[[B, C, H, W]], Int[T]).

facebook/pyrefly7.1k—~13kAutomated safety check: PassMITtoday
5

Produces a scorecard evaluating a pyrefly change on correctness and quality.

facebook/pyrefly7.1k—~1.5kAutomated safety check: PassMITtoday
6

Reviews a comma separated pyrefly diff according to the pyrefly review best practices.

facebook/pyrefly7.1k—~863Automated safety check: PassMITtoday