OPENAGENTSKILL / DIRECTORY

AI Agent Skills

为下一项任务找到合适的技能。探索适用于 Codex、Claude Code、Cursor 等 Agent 的工具。

搜索结果 · “beam-splitter”

19 Skills

搜索结果: 19

搜索与研究

暂未收录效果图

查看技能说明

lean-beam

leanprover

Use this when an AI should work on an external Lean project through the installed `lean-beam` wrapper, giving it direct efficient access to Lean's proof engine to avoid…

价格未确认搜索与研究Claude Code
27GitHub
浏览器与自动化

暂未收录效果图

查看技能说明

rocq-beam

leanprover

Use this when an AI needs the optional Rocq goal-probe surface exposed through the installed `lean-beam` wrapper while porting Rocq developments to Lean.

价格未确认浏览器与自动化Claude Code
27GitHub
搜索与研究

暂未收录效果图

查看技能说明

Use when a goal needs multiple bounded agent roles, parallel or dependent task packets, explicit scope partitions, and a provider-neutral DAG. Not for research-domain ro…

价格未确认搜索与研究Claude Code
26GitHub
安全

暂未收录效果图

查看技能说明

Owns data understanding BEFORE any model is designed. Places and executes `data/eda.py` (a jupytext `# %%` script) via the shared in-process runner, reads the streamed d…

价格未确认安全Claude Code使用前请审核
119GitHub

指南与对比

开发者入口