agentmods.dev

abishekk92/leanstral-solana-skill

Agent skill for generating formal Lean 4 proofs using Mistral's Leanstral model - perfect for verifying Solana programs, Rust code, and smart contracts

Open on GitHub
5Stars on the repository
1Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

leanstral

01

abishekk92/leanstral-solana-skill

Skill Claude CodeCodex

Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification.…

not rated 5 3mo ago A 102 tokens