Skip to content
View michael-moffett's full-sized avatar
1 follower · 7 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Organizations

@caliperforge

Block or report michael-moffett

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
michael-moffett/README.md

I write defender-side invariant harnesses: recurring bug classes encoded as properties, each shipped as a clean reference where the invariant holds and a planted-bug twin where it fires, both running in CI on every push.

Solana and Anchor now, EVM alongside it, Cairo before that.

The tools are under CaliperForge and pinned below.

Upstream I have patches open against solana-foundation/surfpool, solana-foundation/pay-kit and a16z/halmos. Everything I have opened, and where each one currently stands.

CaliperForge is an AI research studio and the work is agent-assisted. I review every load-bearing decision, run the reproductions in a cold environment, and ship under my own name.

caliperforge.com

Pinned Loading

  1. caliperforge/cf-invariants caliperforge/cf-invariants 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