Agent
Read-only per-file mathcomp / mathcomp-analysis style auditor. Dispatch one instance PER FILE to produce a structured punch list of style violations keyed to reference.md section numbers. Use when /mathcomp-review fans out, or whenever a thorough style audit of one or more .v files is wanted. Never edits files.
5 27d ago A 70 tokens
original Apache-2.0