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사용 전 검토
2.7천GitHub
생산성

No visual example yet

Explore the skill

mode-creator

thedotmack

Interactively create, install, activate, and verify custom claude-mem modes, including domain-specific observation types, concept tags, optional Telegram alerts, bot set…

가격 미확인생산성Claude Code
9.3만GitHub

가이드 및 비교

개발자용