Explorar skills

Interface com Isabelle/HOL para a formalização de matemática clássica.

Crie, rastreie e conclua comboios de 'beads' relacionados como ordens de serviço primárias no framework de orquestração multiagente Gas Town.

Crie especificações vocais detalhadas, incluindo estilo, registro, técnicas, entrega emocional e referências de influência para geração de música por IA.

Cálculo automatizado de todas as métricas e previsões de valor agregado.

Use ao iniciar qualquer conversa. Estabelece como encontrar e usar habilidades, exigindo a invocação de uma habilidade antes de qualquer resposta.

Capacidades de pesquisa em segurança de hardware e sistemas embarcados. Inclui interface com depuradores JTAG, análise de comunicações SPI/I2C, despejo e análise de firmware, além de suporte a injeção de falhas, análise de canal lateral e pesquisa de exploração de hardware.

Automated OWASP Top 10 vulnerability detection and assessment. Run OWASP ZAP automated scans, detect injection vulnerabilities, identify broken authentication patterns, check for sensitive data exposure, analyze security misconfigurations, and generate OWASP-compliant reports.

Orchestrate a babysitter run. use this command to start babysitting a complex workflow in a non-interactive mode, without any user interaction or breakpoints in the run.

Configure cli-progress com formatadores personalizados, suporte a múltiplas barras e cálculos de ETA para indicação de progresso na CLI.

Gerenciar registros corporativos e livros de atas.

Execute transformações de código automatizadas baseadas em AST para refatoração e migração em larga escala.

WAI-ARIA implementation, roles, states, and properties.