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

Descargas aquí

Archivos entregados aquí desde el 14 de octubre de 2026. Una descarga por cuenta y Skill al día UTC. Excluye sitios externos, comandos copiados e instalaciones. Actualización en hasta 5 minutos.

Seguridad

No visual example yet

Explore the skill

citation-audit

wanshuiyin

Zero-context verification that every bibliographic entry in the paper is real, correctly attributed, and used in a context the cited paper actually supports — catching h…

Precio sin confirmarSeguridadClaude Code
15,6 milGitHub
Ver habilidad0Descargas aquí
Seguridad

No visual example yet

Explore the skill

AutoCVE

larlarua

Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.

Precio sin confirmarSeguridadRevisar antes de usar
1,3 milGitHub
Ver habilidad0Descargas aquí

Guías y comparativas

Para desarrolladores