Review UI code for web interface guidelines, UX quality, accessibility, and interaction design best practices.
Directorio de skills
Descubre skills reutilizables para AI agents.
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ésEasy-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.
PostgreSQL backup tool with Point-In-Time-Recovery and restore verification
Vendor-agnostic orchestration for training, inference and agentic workloads across NVIDIA, AMD, TPU, and Tenstorrent on clouds, Kubernetes, and bare metal.
The verification layer for coding agents
Crabbox: warm a box, sync the diff, run the suite.
A full-lifecycle Claude Code skill for creating, compiling, reviewing, and polishing academic Beamer LaTeX presentations with quality scoring and pedagogical audits.
📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness-books.agentway.dev
Prepare a pre-earnings briefing with consensus estimates, beat-miss history, and current market context.
A collection of reusable agent skills for Dart and Flutter development, following the Agent Skills standard.
:white_check_mark: A Go library for email verification without sending any emails.
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.