proof-driven

Name: proof-driven
Author: OutlineDriven

SKILLWorkflowcommunauté

v0.0.0OutlineDrivenApache-2.0Mis à jour il y a 7 jSource →

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 →

34Étoiles du dépôt

1Clients

1Formats

il y a 7 jDernière mise à jour

Skill

AuteurOutlineDriven

Version0.0.0

LicenceApache-2.0

CatégorieWorkflow

Formatsskill.md

PromptNon publié

Compatibilité

Claude✓ Pris en charge

Cursor—

Copilot—

ChatGPT—

Gemini—

À propos

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

Mots-clés

skillclaude