Defender-side stateful invariant harness for Euler Earn allocator + vault share accounting. Clean/planted twin pair against the Pashov Audit Group M-01 finding (2025-07-25) and Euler's fix commit. Real Euler Earn contracts (pinned submodule); no mocks except Euler Earn's own EVault strategy fixture. GPL-2.0-or-later.
An invariant-fuzzing harness for the Jito priority-fee-distribution program, running on Crucible. Third Jito program under the same anchor-lang 1.0.1 / Crucible v0.2.0 rails as cf-invariants-jito / cf-invariants-jito-tippayment.
Invariant harness for Jito tip-distribution on Solana / Anchor, on top of Crucible. CI-verified clean / planted twin.
An invariant-fuzzing harness for the Pyth Solana Receiver, run on Crucible
Open-source library of CI-runnable planted-twin reproductions for the x402 agentic-payments threat model (clean/planted pairs, INVARIANT VIOLATED marker convention, 16-seed reachability certification).
Invariant harness for the Jito tip-payment program on Crucible v0.2.0. Sibling artifact to `cf-invariants-jito`.
Add a description, image, and links to the caliperforge topic page so that developers can more easily learn about it.
To associate your repository with the caliperforge topic, visit your repo's landing page and select "manage topics."