path-tactics

Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.

path

tactics

Also installable via skills CLI

npx skills add Arthur742Ramos/ComputationalPathsLean/.claude/skills/path-tactics

Source

Path:.claude/skills/path-tactics(main)

Use when you have lint errors, formatting issues, or before committing code to ensure it passes CI.

This skill should be used when the user asks to "update documentation for my changes", "check docs for this PR", "what docs need u...

Write docstrings for PyTorch functions and methods following PyTorch conventions. Use when writing or updating docstrings in PyTor...