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.

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.

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.

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

Add Telegram as a channel. Can replace WhatsApp entirely or run alongside it. Also configurable as a control-only channel (triggers actions) or passive channel (receives notifications only).

Crie e edite malhas 3D no Blender, utilizando primitivas, modelagem hard-surface, operadores de malha e pilhas de modificadores (Chanfro, Subdivisão, Booleano, Espelho, Array, Solidificar), edições bmesh e retopologia. Use para criar, modelar ou esculpir objetos 3D, adicionar formas ou aplicar modificadores.

Oferece orientação completa de fluxo de trabalho de produção para Blender, detalhando a ordem de montagem de cenas (do block-out à exportação), protocolos de crítica, orçamentos de tempo e padrões de recuperação.

知识库 OrbitOS Obsidian Vault 共享配置。Vault 结构、格式规则、排版规范。被 orbit-* 系列 skill 自动引用；也可在知识库相关操作中直接调用以获取上下文。

Run a single task using a specific AI provider and model. Supports subscription, API, and CLI presets.

Curated collection of professional color and typography themes for styling artifacts — slides, docs, reports, landing pages. Use when applying visual themes to presentations, generating themed content, or creating custom brand palettes. Triggers on theme, color palette, font pairing, slide styling, presentation theme, brand colors.