Mantén honestas las pruebas escritas por IA. La IA redacta especificaciones Gherkin, un motor determinista SHA-256 señala la deriva entre especificaciones/implementación/características en CI, y los humanos deciden. Habilidades para agentes Codex y Claude Code, más andamios para Playwright/Flutter.
Pound79/specproof es una habilidad para agentes de IA (Codex y Claude Code) que asegura que las pruebas generadas por IA sean honestas y confiables. Funciona así: la IA redacta especificaciones en formato Gherkin; luego, un motor determinista basado en SHA-256 calcula hashes únicos para cada especificación, implementación y característica. Cuando el código cambia, el motor detecta cualquier deriva (drift) entre estos tres elementos y lo señala en la integración continua (CI). Los desarrolladores humanos revisan y deciden si el cambio es válido o si requiere ajustes. Esto evita que la IA genere pruebas que pasen falsamente o que no cubran cambios reales. La herramienta incluye andamios (scaffolds) para Playwright y Flutter, facilitando la adopción en proyectos web y móviles. Es útil para equipos que quieren mantener la calidad del software sin confiar ciegamente en las pruebas generadas por IA.
npx skills add Pound79/specproofInstalled? Explore more Programación y desarrollo skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Mantén honestas las pruebas escritas por IA. La IA redacta especificaciones Gherkin, un motor determinista SHA-256 señala la deriva entre especificaciones/implementación/características en CI, y los humanos deciden. Habilidades para agentes Codex y Claude Code, más andamios 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.