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

6Stars on the repository

1Mods indexed here, across every type

5mo agoLast push, which is what freshness is scored on

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

leanstral

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 6 +1 5mo ago A 102 tokens