gianlucatruda

Audit or refactor code in any language with a correctness-first style: precise states, explicit failures, small interfaces, exhaustive cases, and clear brevity. Use when the user asks for Jane Street style, tighter code, type-driven design, or stronger…

Review a live Hunk diff with inline comments and highlights. Use when the user has Hunk open or asks to annotate a diff in Hunk.

Review files changed for the current request and make them simpler, clearer, and easier to maintain. Use after implementing a change when a focused quality pass is useful.