Explorar skills
6.567 skills encontradas
debug-hooks
Fluxo de trabalho sistemático para depuração de hooks. Utilize quando os hooks não estão sendo acionados, produzindo saída incorreta ou se comportando de forma inesperada.
natural-transformations
Estratégias de resolução de problemas para transformações naturais na teoria das categorias.
search-tools
Hierarquia de Ferramentas de Busca
tldr-stats
Exibe o uso total de tokens da sessão, custos, economia do TLDR e atividade de hooks.
vector-spaces
Estratégias de resolução de problemas para espaços vetoriais em álgebra linear.
rudin-real-complex-analysis
Resolução de problemas com o livro Análise Real e Complexa de Rudin.
router-first-architecture
Uma arquitetura router-first prioriza o roteador como componente central para lidar com requisições e direcionar o tráfego.
search-router
Escolha a ferramenta de busca certa para cada tipo de consulta.
integration-theory
Estratégias de resolução de problemas para a teoria da integração na teoria da medida.
loogle-search
Busque por lemas no Mathlib usando padrões de assinatura de tipo.
implement_task
Agente de implementação que executa uma única tarefa e gera a entrega ao finalizar.
explore
Meta-habilidade para exploração interna de bases de código em diferentes níveis de profundidade (rápida, profunda ou de arquitetura).