OPENAGENTSKILL / DIRECTORY
Trouvez un skill pour votre prochaine tâche avec Codex, Claude Code, Cursor et plus encore.
2 Skills
Résultats: 2
Fichiers fournis ici depuis le 14 octobre 2026. Une fois par compte connecté, Skill et jour UTC. Hors sites externes, copies de commandes et installations. Mise à jour sous 5 minutes.
No visual example yet
Explore the skillleanprover
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.
No visual example yet
Explore the skilllc222
基于seq2seq模型的简单对话系统的tf实现，具有embedding、attention、beam_search等功能，数据集是Cornell Movie Dialogs
