Run any Skill in Manus
with one click

Run any Skill in Manus with one click

asymptotic-code

GitHub creator profile

asymptotic-code

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

github/asymptotic-code largest repo: sui-prover

skills collected

1

repositories

1

updated

2026-02-20

repository map

Where the skills live

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

1 skills · 2026-02-20

Software Developers

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills4210updated 2026-02-20

100% of creator

skill

occupation

description

updated

software-developers

Help with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.

Showing 1 of 1 repositories

All repositories loaded

Run any Skill with one click

asymptotic-code Agent Skills | SkillsMP