Invariant harness for Jito tip-distribution on Solana / Anchor, on top of Crucible. CI-verified clean / planted twin.
-
Updated
Jul 13, 2026 - Rust
#
caliperforge
Here are 5 public repositories matching this topic...
Invariant harness for the Jito tip-payment program on Crucible v0.2.0. Sibling artifact to `cf-invariants-jito`.
-
Updated
Jul 13, 2026 - Rust
An invariant-fuzzing harness for the Pyth Solana Receiver, run on Crucible
-
Updated
Jul 13, 2026 - Rust
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.
-
Updated
Jul 13, 2026 - Rust
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.
-
Updated
Jul 13, 2026 - Solidity
Improve this page
Add a description, image, and links to the caliperforge topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the caliperforge topic, visit your repo's landing page and select "manage topics."