Explorar skills

Generate GraphQL schemas from data models with resolver stubs and federation support

Crie mensagens de defesa persuasivas, coordene a formação de coalizões e interaja com formuladores de políticas para promover o financiamento das artes e as prioridades de política cultural.

Interface com o assistente de prova Lean 4 para verificação formal de teoremas.

RViz configuration and custom visualization for robot development and debugging

Habilidade de avaliação de criptografia pós-quântica para migração segura quântica.

AWS Smithy-based SDK generation for enterprise-grade APIs

Habilidade de modelagem e análise térmica de sistemas eletrônicos para cálculo de temperatura de junção, seleção de dissipadores de calor, redes de resistência térmica e verificação da área de operação segura.

Especialista em configuração, depuração e otimização de FreeRTOS.

Gerencia o tempo de execução OpenCL entre fornecedores e o desenvolvimento de kernels. Isso abrange a consulta de plataformas/dispositivos, a geração de código de kernel OpenCL C portátil, o tratamento de extensões específicas do fornecedor, e o gerenciamento de contextos, filas de comando, compilação e cache de programas.

Aplicação estrita do ciclo RED-GREEN-REFACTOR. Testes nunca são ignorados ou adiados, sempre em modo de execução, com evidência obrigatória do código de saída.

Aplicação da exigência de evidências, garantindo que todas as alegações sejam comprovadas por logs, resultados de testes ou códigos de saída. Zero indica sucesso, e qualquer valor diferente de zero indica falha. Não é permitido adivinhar.

Habilidade especializada para otimização de processos de tratamento biológico e físico-químico de águas residuais com modelagem de lodo ativado, remoção de nutrientes, eficiência de aeração e minimização de energia.