Explorar skills

This skill should be used when the user asks to "prove a theorem", "formalize to Lean", "use Aristotle", "fill sorries", "verify proofs", "verify algorithm", "verify code correctness", "check implementation", "find bugs in code", "work with Lean 4", "VERINA", or needs guidance on theorem proving, code verification, algorithm correctness, Lean formalization, or Aristotle AI integration.

Exploratory QA of web apps: find bugs, evidence, reports.

Recebe um conteúdo finalizado e gera um registro de metadados completo e pronto para arquivamento, contendo tags descritivas, classificações de assunto, notas de direitos e um resumo arquivístico, para inserção em um sistema de gerenciamento de conteúdo ou arquivo digital.

Rate limiting algorithms, implementation strategies, HTTP conventions, tiered limits, distributed patterns, and client-side handling. Use when protecting APIs from abuse, implementing usage tiers, or configuring gateway-level throttling.

Save current work context for later resumption

Jailbreak LLMs: Parseltongue, GODMODE, ULTRAPLINIAN.

Deep-dive framework for analyzing crypto tokens — market data, liquidity health, tokenomics, unlock schedules, and risk assessment. Combines on-chain data, API queries, and multi-source validation to generate actionable investment verdicts.

IPv6 is THE first-class citizen. All code, tests, documentation, and configurations MUST be IPv6-first. IPv4 MAY be added only for legacy support as a second-class citizen.

Orquestra a reconstrução em Blender, com controle de falhas e bloqueio de fonte, de mascotes, logotipos e avatares de marca a partir de wireframes, texturas e vistas ortográficas. Use quando o usuário exige uma correspondência 1:1 entre marca e modelo, em vez de uma interpretação estilizada.

Harmonize múltiplas habilidades do Blender em um pipeline coerente com precedência de ativação clara, artefatos de entrega, portões de dependência e regras de resolução de conflitos. Use quando uma tarefa do Blender abrange várias habilidades, quando o trabalho com referência bloqueada entra em conflito com o fluxo de trabalho de produção genérico, após adicionar/atualizar habilidades, ou quando falhas repetidas indicam interferência de habilidades ou falta de interação inter/intra-jogo.

Writes short presenter or narrator lines that bridge two programme segments smoothly, carrying the audience from one topic, location, or interview to the next without jarring cuts.

Use after creating PR - monitor CI pipeline, resolve failures, address review feedback, and merge when all gates pass