Show HN: Sloppylint – A linter for AI-generated Python code