Transaction Correctness Auditor | Claude Code Skill