OPENAGENTSKILL / DIRECTORY

AI Agent Skills

次のタスクに合うスキルを。Codex、Claude Code、Cursor などのツールを探せます。

検索結果 · “formal-verification”

18 Skills

検索結果: 18

ブラウザ・自動化

No visual example yet

Explore the skill

Process user-provided patent figures and generate formal drawing descriptions. Use when user says \"附图处理\", \"figure description\", \"附图说明\", \"drawings description\", o…

価格未確認ブラウザ・自動化Claude Code
1.6万GitHub
開発・テスト

No visual example yet

Explore the skill

📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness…

価格未確認開発・テストClaude CodeOpenAI Agents使用前に確認
2715GitHub

ガイドと比較

開発者向け