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

一键在 Manus 中运行任何 Skill

$pwd:

mit-pdos

GitHub 创作者资料

mit-pdos

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

github/mit-pdos 最大仓库：perennial

已收集 skills

1

仓库

1

职业领域

1

更新

2026-03-03

职业覆盖

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

计算机与数学类职业

仓库分布

Skills 分布在哪些仓库

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

1 个 skills · 2026-03-03

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

仓库浏览

仓库与代表性 skills

创作者/仓库/skill

#001

1 个 skills22550更新于 2026-03-03

占该创作者 100%

skill

职业分类

描述

更新

perennial-tactics

Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works.

已展示 1 / 1 个仓库

已展示全部仓库

一键运行任何 Skill