anmath-revision — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited anmath-revision (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
Math reviews are slow and thorough. A report may identify a genuine gap; the right response is to fix the mathematics first, then explain — never to argue a gap away.
before drafting a single line of reply. The reply describes changes that already exist.
request for clarification — add exposition; (c) disagreement — respond with a precise mathematical argument, respectfully.
the whole argument (re-run the self-adversarial pass from anmath-referee-strategy).
| Element | Content |
|---|---|
| Opening | Brief thanks; summary of the main changes |
| Each point | Quote the referee remark, then state the change and where it appears (section/line/Lemma) |
| Gaps/errors | Acknowledge plainly, give the corrected argument, point to the new text |
| Disagreements | A precise, courteous mathematical rebuttal; concede where the referee is right |
| Marked-up version | Provide a latexdiff PDF so changes are easy to verify |
correct theorem honestly and explain the change — a correct weaker result beats a wrong strong one.
scaled-back result; consult anmath-scope-fit on whether the salvaged result still fits.
not assertion.
latexdiff marked-up version is included【Report points】N total → gaps: a; clarifications: b; disagreements: c
【Gaps fixed】point i: corrected by ..., now in §...
【Theorem changed?】no / now reads ... (honest restatement)
【Re-check after fix】no new gap / FIX
【Reply drafted】point-by-point, with locations
【latexdiff attached】yes
【If unfixable】reconsider via anmath-scope-fit
【Next step】resubmit revision + response~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.