proof-driven

Name: proof-driven
Author: OutlineDriven

SKILLWorkflowcommunity

v0.0.0OutlineDrivenApache-2.0Updated 2d agoSource →

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 stars

1Clients

1Formats

2d agoLast update

Skill

AuthorOutlineDriven

Version0.0.0

LicenseApache-2.0

CategoryWorkflow

Formatsskill.md

PromptNot published

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

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

Keywords

skillclaude