proof-driven

Name: proof-driven
Author: OutlineDriven

SKILLWorkflowCommunity

v0.0.0OutlineDrivenApache-2.0Aktualisiert vor 7 TQuelle →

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 →

34Repo-Sterne

1Clients

1Formate

vor 7 TLetzte Aktualisierung

Skill

AutorOutlineDriven

Version0.0.0

LizenzApache-2.0

KategorieWorkflow

Formateskill.md

PromptNicht veröffentlicht

Kompatibilität

Claude✓ Unterstützt

Cursor—

Copilot—

ChatGPT—

Gemini—

Über

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

Schlagwörter

skillclaude