Skip to main content
skillsmp

Menu

Exécutez n'importe quel Skill dans Manus
en un clic
abishekk92
Profil créateur GitHub

abishekk92

Vue par dépôt de 1 skills collectés dans 1 dépôts GitHub.

github/abishekk92plus grand dépôt : leanstral-solana-skill
skills collectés
1
dépôts
1
mis à jour
2026-05-28
carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

#01
leanstral-solana-skill
1 skills · 2026-05-28
Scientifiques en recherche informatique et en information
1 catégories métier · 100% classifié
100%part
explorateur de dépôts

Dépôts et skills représentatifs

#001
leanstral-solana-skill
1 skills50mis à jour 2026-05-28
100% du créateur
leanstral
Scientifiques en recherche informatique et en information

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. Also trigger when the user mentions "leanstral", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.

2026-05-28
1 dépôts affichés sur 1
Tous les dépôts sont affichés