agents: add code review and debugging skills#453

tcoratger merged 2 commits intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

morelucks:agents/add-review-and-debug-skillsmorelucks/leanSpec:agents/add-review-and-debug-skillsCopy head branch name to clipboard