Skip to main content
skillsmp

Menu

Run any Skill in Manus
with one click
abishekk92
GitHub creator profile

abishekk92

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/abishekk92largest repo: leanstral-solana-skill
skills collected
1
repositories
1
updated
2026-05-28
repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

#01
leanstral-solana-skill
1 skills ยท 2026-05-28
Computer & Information Research Scientists
1 occupation categories ยท 100% classified
100%share
repository explorer

Repositories and representative skills

#001
leanstral-solana-skill
1 skills50updated 2026-05-28
100% of creator
leanstral
computer-and-information-research-scientists-151221

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
Showing 1 of 1 repositories
All repositories loaded