O que tiling-verified faz?
Formalizando a manobra paramétrica de bypass do obstáculo Löbiano.
Formalizando a manobra paramétrica de bypass do obstáculo Löbiano.
Esta skill, CharlesCNorton/tiling-verified, automatiza a formalização da manobra paramétrica de bypass do obstáculo Löbiano, um conceito avançado em lógica e teoria da computação. Ela é útil para pesquisadores e desenvolvedores que trabalham com sistemas de auto-referência, teoremas de incompletude ou provas assistidas por computador. Embora a descrição fornecida seja concisa, a skill visa integrar-se a agentes de IA especializados em engenharia de software e ferramentas de desenvolvimento, oferecendo suporte a plataformas como Claude Code, Cursor e Codex. O funcionamento da skill se baseia na implementação algorítmica de construções paramétricas para contornar obstáculos lógicos, conforme documentado no SKILL.md.
npx skills add CharlesCNorton/tiling-verifiedInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Formalizando a manobra paramétrica de bypass do obstáculo Löbiano.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.