Browser & automation
No visual example yet
Explore the skill
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.
27GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “beam-splitter”
2 Skills
Results: 2
Browser & automation
No visual example yet
Explore the skill
Seq2seq Chatbot
lc222
基于seq2seq模型的简单对话系统的tf实现，具有embedding、attention、beam_search等功能，数据集是Cornell Movie Dialogs
335GitHub
Guides & comparisons
- Frontend design skills ↗
- Remotion skills ↗
- Excel and XLSX skills ↗
- PDF and Word skills ↗
- AI agent skills library ↗
- Open source AI agent skills ↗
- Best Codex skills ↗
- Best AI agent skills for stock analysis ↗
- Best Codex skills for web scraping ↗
- Best Claude Code skills for PDF parsing ↗
- Best AI agent skills for football analytics ↗
- OpenAgentSkill vs skills.sh ↗
- OpenAgentSkill vs agentskills.io ↗