Mantenha os testes escritos por IA honestos. A IA rascunha especificações Gherkin, um motor SHA-256 determinístico sinaliza derivação entre especificação/implementação/recurso em CI, e humanos decidem. Skills de agente para Codex e Claude Code, além de scaffolds para Playwright/Flutter.
Specproof é uma skill para agentes de IA (como Codex e Claude Code) que visa garantir a honestidade e a rastreabilidade de testes gerados por IA. Ela funciona da seguinte forma: a IA gera automaticamente especificações no formato Gherkin a partir do código ou de requisitos. Em seguida, um mecanismo determinístico baseado em SHA-256 calcula hashes únicos para cada especificação, implementação e funcionalidade. Esses hashes são utilizados em pipelines de Integração Contínua (CI) para detectar qualquer desvio ou 'deriva' entre os três componentes. Quando um desvio é detectado, um humano é notificado para revisar e decidir se a mudança é intencional ou um erro. Isso previne que a IA 'invente' comportamentos não especificados ou que a implementação se afaste dos requisitos acordados, mantendo a base de testes confiável e alinhada com as intenções do projeto. A skill também oferece scaffolds para Playwright e Flutter, facilitando a integração com frameworks de teste populares.
npx skills add Pound79/specproofInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Mantenha os testes escritos por IA honestos. A IA rascunha especificações Gherkin, um motor SHA-256 determinístico sinaliza derivação entre especificação/implementação/recurso em CI, e humanos decidem. Skills de agente para Codex e Claude Code, além de scaffolds para Playwright/Flutter.
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.