在 Manus 中运行任何 Skill
一键导入

一键在 Manus 中运行任何 Skill

asymptotic-code

GitHub 创作者资料

asymptotic-code

按仓库查看 1 个 GitHub 仓库中的 1 个已收集 skills。

github/asymptotic-code 最大仓库：sui-prover

已收集 skills

1

仓库

1

更新

2026-02-20

仓库分布

Skills 分布在哪些仓库

按已收集 skill 数展示主要仓库，并显示它们在该创作者目录中的占比和职业覆盖。

1 个 skills · 2026-02-20

软件开发工程师

1 个职业分类 · 已分类 100%

仓库浏览

仓库与代表性 skills

创作者/仓库/skill

1 个 skills4210更新于 2026-02-20

占该创作者 100%

skill

职业分类

描述

更新

软件开发工程师

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.

已展示 1 / 1 个仓库

已展示全部仓库

一键运行任何 Skill

asymptotic-code Agent Skills | SkillsMP