Python Mypy Type Checking Claude Code Skill