apegurus/math-precision
skills/specialist-profiles/math-precision/SKILL.md
Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
testing
Updated May 30, 2026
$ install --global
skillsauthnpx skillsauth add apegurus/solidity-argus math-precisionInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: May 30, 2026, 3:31 AM300.1s1 file scanned
SKILL.md
- name:
- math-precision
- description:
- Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
- category:
- methodology
- source_url:
- https://github.com/Apegurus/solidity-argus
- source_license:
- MIT
- imported_at:
- 2026-05-18T00:00:00Z
Math Precision Profile
Objective
Find arithmetic bugs that leak value, distort accounting, or break protocol invariants through rounding, scale mismatch, decimal mismatch, downcasts, and stale accumulators.
Attack Surfaces
Share conversions, reward math, fee math, collateral factors, liquidation discounts, oracle scaling, vesting schedules, and accumulator updates.
Reading Pattern
- Write the unit/scale next to every value in each formula.
- Identify every division and rounding direction.
- Check whether the caller can repeat a favorable rounding path.
- Compare internal accounting against actual token balances.
Recommended Skills
Load lack-of-precision, share-accounting-desynchronization, erc4626-exchange-rate-manipulation, and stateful-parameter-update-drift when applicable.
Proof Fields
Include concrete numbers, before/after balances, rounding direction, repeatability, and value impact.
False-Positive Cautions
Dust-level loss is not a security finding unless repeatable, griefable, or able to accumulate into material loss.
Related Skills
apegurus/vector-scan
testing
VerifiedTrustedCommunity
Specialist profile for mechanically applying the attack-vector deck and classifying vectors as skip, drop, or investigate.
SKILL.mdUpdated May 30, 2026
apegurus/periphery
tools
VerifiedTrustedCommunity
Specialist profile for libraries, helpers, base contracts, adapters, encoders, wrappers, and integration glue.
SKILL.mdUpdated May 30, 2026
apegurus/invariant
testing
VerifiedTrustedCommunity
Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.
SKILL.mdUpdated May 30, 2026
apegurus/first-principles
testing
VerifiedTrustedCommunity
Specialist profile for line-by-line assumption extraction without relying on named bug classes.
SKILL.mdUpdated May 30, 2026