Skills publicadas
Mostrando 12 de 2.099mythril-symbolic
Análise de execução simbólica usando Mythril para detecção profunda de vulnerabilidades em contratos inteligentes. Suporta profundidade de transação configurável, configurações de tempo limite e geração de explorações de prova de conceito.
qiskit-quantum-simulator
Habilidade de computação quântica Qiskit para projeto de circuitos, simulação e desenvolvimento de algoritmos quânticos.
Selenium WebDriver
Experiência em Selenium WebDriver para automação cross-browser e testes de sistemas legados.
formal-logic-reasoner
Habilidade para raciocínio lógico formal e validação de argumentos.
solution-comparator
Compare múltiplas soluções para correção e desempenho.
cultural-policy-analysis
Analisar políticas culturais, avaliar as necessidades culturais da comunidade e desenvolver recomendações baseadas em evidências para o financiamento das artes e o desenvolvimento cultural.
workflow-automator
Habilidade de automação de fluxo de trabalho operacional com sequenciamento de tarefas, roteamento de aprovações e tratamento de exceções.
demand-forecaster
Habilidade de previsão de demanda com métodos estatísticos e de aprendizado de máquina.
api-mock-server
Generate and run mock API servers from OpenAPI specifications
component-inventory
Audit and inventory existing UI components in a codebase
using-git-worktrees
Utilize ao iniciar o desenvolvimento de funcionalidades que exigem isolamento do ambiente de trabalho atual, ou antes de executar planos de implementação.
rest-api-design
RESTful API design principles, versioning, pagination, HATEOAS, and documentation.