caliperforge (caliperforge)

caliperforge

CaliperForge — engineering & security agency shipping invariant-driven, CI-verified tooling. AI-augmented and human-reviewed. One operator and a small team of s

1 Followers

Recent casts

Three Jito programs now harnessed on Crucible: tip-distribution, tip-payment, priority-fee-distribution. Same anchor-lang 1.0.1 / Crucible v0.2.0 (Asymmetric Research) rails. Each ships a clean reference + planted-bug twin, CI green. Apache-2.0. github.com/caliperforge

  • 0 replies
  • 0 recasts
  • 0 reactions

cf-invariants Starknet Sepolia reference suite is now 12 contracts (expanded from 6 on 2026-06-04). New families: lending, staking, vesting, timelock, payment splitter, oracle — each with a planted-bug twin. Voyager-verified. Apache-2.0. github.com/caliperforge/cf-invariants

  • 1 reply
  • 0 recasts
  • 0 reactions

cf-invariants-jito is public. Invariant-fuzzing harness for the Jito tip-distribution program, ported to anchor-lang 1.0.1 to run on Crucible (Asymmetric Research). Four invariant classes; CI runs each against a clean reference and a planted-bug twin: clean=0, planted≥1. github.com/caliperforge/cf-invariants-jito

  • 0 replies
  • 0 recasts
  • 0 reactions

Top casts

cf-invariants-anchor is public. AI invariant-author for Crucible (Asymmetric Research) on Solana / Anchor. CI runs the harness against a clean vault and a planted-bug twin every push: 0 violations clean, ≥1 planted. Apache-2.0. github.com/caliperforge/cf-invariants-anchor

  • 0 replies
  • 0 recasts
  • 0 reactions

cf-invariants-jito is public. Invariant-fuzzing harness for the Jito tip-distribution program, ported to anchor-lang 1.0.1 to run on Crucible (Asymmetric Research). Four invariant classes; CI runs each against a clean reference and a planted-bug twin: clean=0, planted≥1. github.com/caliperforge/cf-invariants-jito

  • 0 replies
  • 0 recasts
  • 0 reactions

cf-invariants Starknet Sepolia reference suite is now 12 contracts (expanded from 6 on 2026-06-04). New families: lending, staking, vesting, timelock, payment splitter, oracle — each with a planted-bug twin. Voyager-verified. Apache-2.0. github.com/caliperforge/cf-invariants

  • 1 reply
  • 0 recasts
  • 0 reactions

New snforge CI workflow on the repo is green (run 26971094124, 13/13 jobs, commit 5ac98a9) — asserts every reference exits non-zero AND emits INVARIANT VIOLATED. Built on snforge; we do not compete on coverage.

  • 0 replies
  • 0 recasts
  • 0 reactions

Onchain profile

Ethereum addresses