proof-weighted-optimization | Best Claude Code Skills