/target
.ritalin/
.ritalin-proofs/
/tmp/
.claude/
