caliperforge
Change the repository type filter
All
Repositories list
12 repositories
hyperevm-safety
PublicInvariants and CI-runnable property tests for HyperEVM lending protocols that consume HyperCore oracle reads. Clean/planted twin methodology. Apache-2.0..github
Publiccf-invariants-anchor
PublicInvariant-authoring layer on top of Crucible (Asymmetric Research's coverage-guided Solana fuzzer). Stateful + AI-suggested invariants tagged in source.cf-invariants
Publicinvariant-atlas
Public- 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…
chimera-template-pack
Publiccf-invariants-jito
PublicInvariant harness for Jito tip-distribution on Solana / Anchor, on top of Crucible. CI-verified clean / planted twin.- Invariant harness for the Jito tip-payment program on Crucible v0.2.0. Sibling artifact to `cf-invariants-jito`.
cf-invariants-pyth
PublicAn invariant-fuzzing harness for the Pyth Solana Receiver, run on Cruciblestarknet-foundry
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.