apegurus/invariant
skills/specialist-profiles/invariant/SKILL.md
Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.
testing
Updated May 30, 2026
$ install --global
skillsauthnpx skillsauth add apegurus/solidity-argus invariantInstall 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:30 AM208.1s1 file scanned
SKILL.md
- name:
- invariant
- description:
- Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.
- category:
- methodology
- source_url:
- https://github.com/Apegurus/solidity-argus
- source_license:
- MIT
- imported_at:
- 2026-05-18T00:00:00Z
Invariant Profile
Objective
Derive the protocol's core invariants and find reachable sequences that violate them.
Attack Surfaces
Mint/burn symmetry, total assets versus shares, collateral versus debt, reward accumulators, escrow balances, queued requests, and role lifecycle state.
Reading Pattern
- State each invariant in plain language and as an equation when possible.
- Map every function that mutates each variable in the invariant.
- Search for paths that update only one side of the coupling.
- Use tests or fuzzing when a violation can be encoded cheaply.
Recommended Skills
Load property-based-testing, share-accounting-desynchronization, and protocol-specific skills such as lending-borrowing or staking-vesting.
Proof Fields
Include invariant statement, violating path, concrete state before and after, and impact.
False-Positive Cautions
An invariant must reflect intended protocol behavior, not an assumption imposed by the reviewer.
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/math-precision
testing
VerifiedTrustedCommunity
Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
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