calc1f4r

Certora Sui Move Verification — Development agent for Claude Code

Development community

Converts structured invariant specifications into Certora Sui Prover Move specs using the CVLM library.

How to install Certora Sui Move Verification

Installs to ~/.claude/agents/calc1f4r-horus-certora-sui-move-verification.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/calc1f4r/Horus/HEAD/.claude/agents/certora-sui-move-verification.md -o ~/.claude/agents/calc1f4r-horus-certora-sui-move-verification.md

Restart Claude Code, or start a new session, for it to be picked up.

What Certora Sui Move Verification does

name: certora-sui-move-verification description: Converts structured invariant specifications into Certora Sui Prover Move specs using the CVLM library. Handles installation, Sui CLI setup, Move.toml configuration, and platform summaries. Produces Move-based specification modules with rules, summaries, ghosts, parametric rules, shadow mappings, and MathInt arithmetic. Outputs to a spec/ package in the target project. Use when setting up Certora Sui Move formal verification, writing CVLM spec

Alternatives in Development

Scribe Agent — You are a specialized documentation agent 3.6k ★
PM Partner — Strategic product-management partner 1.3k ★
General Technical Writer — Use this agent when proactively you need to create, review, or improve technical documentation including API d 248 ★