OPENAGENTSKILL / DIRECTORY
Temukan skill untuk tugas berikutnya dengan Codex, Claude Code, Cursor, dan lainnya.
2 Skills
Hasil: 2
File yang dikirim situs ini sejak 14 Oktober 2026. Satu hitungan per akun masuk, Skill, dan hari UTC. Tidak termasuk situs luar, salinan perintah, atau instalasi. Pembaruan hingga 5 menit.
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
