proof-driven

Name: proof-driven
Author: OutlineDriven

SKILLFlujo de trabajocomunidad

v0.0.0OutlineDrivenApache-2.0Actualizado hace 1 mFuente →

Use when using property-based testing, theorem proving, or formal proof tactics with a zero-unproven-property policy.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

34Estrellas del repo

1Clientes

1Formatos

hace 1 mÚltima actualización

Skill

AutorOutlineDriven

Versión0.0.0

LicenciaApache-2.0

CategoríaFlujo de trabajo

Formatosskill.md

PromptNo publicado

Compatibilidad

Claude✓ Compatible

Cursor—

Copilot—

ChatGPT—

Gemini—

Acerca de

Use when using property-based testing, theorem proving, or formal proof tactics with a zero-unproven-property policy.

Palabras clave

skillclaude

Sin cobertura de dependencias

Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.