Files
pi-skill/extensions/lean-tools.ts