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

一键在 Manus 中运行任何 Skill

$pwd:

cameronfreer

GitHub 创作者资料

cameronfreer

按仓库查看 1 个 GitHub 仓库中的 1 个已收集 skills，并展示近似职业覆盖。

github/cameronfreer 最大仓库：lean4-skills

已收集 skills

1

仓库

1

职业领域

1

更新

2026-04-15

职业覆盖

该创作者主要覆盖的职业大类。

计算机与数学类职业

仓库分布

Skills 分布在哪些仓库

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

1 个 skills · 2026-04-15

计算机与信息研究科学家

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

仓库浏览

仓库与代表性 skills

创作者/仓库/skill

#001

1 个 skills27632更新于 2026-04-15

占该创作者 100%

skill

职业分类

描述

更新

计算机与信息研究科学家

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger for Coq/Rocq, Agda, Isabelle, HOL4, Mizar, Idris, Megalodon, or other non-Lean theorem provers.

已展示 1 / 1 个仓库

已展示全部仓库

一键运行任何 Skill