Directorio de skills

Descubre skills reutilizables para AI agents.

Busca skills reales de GitHub por tarea y revisa stars, confianza, auditoría, categoría y ruta de instalación antes de utilizarlos.

Cada recomendación conserva un vínculo claro con su repositorio, auditoría y ruta de instalación.

Resultados de búsqueda: formal-verification

Directorio en inglés

Review UI code for web interface guidelines, UX quality, accessibility, and interaction design best practices.

30K
Stars
82/100
Confianza
Categoría: design-creativeAuditoría

Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.

13K
Stars
87/100
Confianza
Categoría: media-automationAuditoría

PostgreSQL backup tool with Point-In-Time-Recovery and restore verification

7.4K
Stars
76/100
Confianza
Categoría: devopsAuditoría

Vendor-agnostic orchestration for training, inference and agentic workloads across NVIDIA, AMD, TPU, and Tenstorrent on clouds, Kubernetes, and bare metal.

2.2K
Stars
85/100
Confianza
Categoría: agent-skillsAuditoría

The verification layer for coding agents

2.8K
Stars
77/100
Confianza
Categoría: coding-agentsAuditoría

Crabbox: warm a box, sync the diff, run the suite.

1.3K
Stars
81/100
Confianza
Categoría: utilityAuditoría

A full-lifecycle Claude Code skill for creating, compiling, reviewing, and polishing academic Beamer LaTeX presentations with quality scoring and pedagogical audits.

324
Stars
77/100
Confianza
Categoría: presentationAuditoría

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

2.7K
Stars
75/100
Confianza
Categoría: agent-frameworksAuditoría

Prepare a pre-earnings briefing with consensus estimates, beat-miss history, and current market context.

3.2K
Stars
72/100
Confianza
Categoría: FinanceAuditoría

A collection of reusable agent skills for Dart and Flutter development, following the Agent Skills standard.

139
Stars
77/100
Confianza
Categoría: coding-agentsAuditoría

:white_check_mark: A Go library for email verification without sending any emails.

1.6K
Stars
83/100
Confianza
Categoría: productivity-automationAuditoría

Develop, fix, and profile Cherry Studio in a tracked Electron instance. Use for everyday implementation, UI and interaction work, bug fixing, runtime debugging, DevTools inspection, lag or jank investigation, CPU and memory monitoring, leak checks, and startup-performance analysis; reuse a verified workspace instance across instructions and launch or replace one only when required.

51K
Stars
79/100
Confianza
Categoría: researchAuditoría