Pinned Loading

1. caliperforge/cf-invariants-anchor caliperforge/cf-invariants-anchor Public

   Invariant-authoring layer on top of Crucible (Asymmetric Research's coverage-guided Solana fuzzer). Stateful + AI-suggested invariants tagged in source.

   Rust 1 1

2. caliperforge/agentic-payments-regression caliperforge/agentic-payments-regression Public

   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 certificati…

   Solidity

3. caliperforge/solana-invariant-atlas caliperforge/solana-invariant-atlas Public

   Defender-side invariant atlas for Solana programs: recurring bug classes as clean/planted twin pairs on real targets, in CI

   Rust

4. caliperforge/solana-property-benchmark caliperforge/solana-property-benchmark Public

   Pre-registered benchmark measuring how well automatically generated security invariants cover known vulnerability classes in Solana Anchor programs — the full evaluation protocol was published here…

   Python

5. caliperforge/uniswap-v4-invariants caliperforge/uniswap-v4-invariants Public

   Defender-side invariant harness for Uniswap v4 hooks: recurring bug classes as stateful invariants on real v4-core, each a clean/planted twin pair in CI

   Solidity