OPENAGENTSKILL / DIRECTORY

AI Agent Skills

Encuentra una habilidad para tu próxima tarea con Codex, Claude Code, Cursor y más.

Resultados · “formal-verification”

18 Skills

Resultados: 18

Desarrollo

No visual example yet

Explore the skill

Use when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output before maki…

Precio sin confirmarDesarrolloClaude Code
280,4 milGitHub
Navegador y automatización

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…

Precio sin confirmarNavegador y automatizaciónClaude Code
15,7 milGitHub
Desarrollo

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…

Precio sin confirmarDesarrolloClaude CodeOpenAI AgentsRevisar antes de usar
2,7 milGitHub
Imágenes

No visual example yet

Explore the skill

figure-spec

wanshuiyin

Generate deterministic publication-quality architecture, workflow, and pipeline diagrams from structured JSON (FigureSpec) into editable SVG. Use when user says \"架构图\",…

Precio sin confirmarImágenesClaude Code
15,8 milGitHub
Desarrollo

No visual example yet

Explore the skill

[验证码识别-训练] This project is based on CNN/ResNet/DenseNet+GRU/LSTM+CTC/CrossEntropy to realize verification code identification. This project is only for training the mode…

Precio sin confirmarDesarrolloRevisar antes de usar
3,2 milGitHub
Productividad

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…

Precio sin confirmarProductividadClaude Code
93 milGitHub

Guías y comparativas

Para desarrolladores