skills.rest
OutlineDriven
OutlineDrivenOFFICIAL
Explore all skills by this author →
GitHub

proof-driven

Automates formal verification plans for software features with property-based testing.

5|2|Updated Nov 17, 2025
Search Tags:#verification#theorem proving#software quality#property-based testing#proof-based verification#formal tools
One-click install
npx skills add https://github.com/OutlineDriven/odin-gemini-cli-extension --skill proof-driven
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: proof-driven
Source: https://github.com/OutlineDriven/odin-gemini-cli-extension/tree/main/skills/proof-driven
Command: npx skills add https://github.com/OutlineDriven/odin-gemini-cli-extension --skill proof-driven

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

Proof-driven development helps teams ensure software correctness by requiring formal verification and proofs before implementation.

Core Features & Use Cases

  • Guides teams to apply property-based testing and theorem proving during development.
  • Offers reference materials (frameworks, examples, formal-tools) to accelerate verification.
  • Enforces a zero-unproven-property policy to prevent unverified code from entering production.

Quick Start

Define a property to verify for a feature and outline the initial set of properties to test.

Frequently Asked Questions about proof-driven

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
What is proof-driven development and how does it ensure software correctness?▼

Proof-driven development ensures software correctness by requiring formal verification and theorem proving before implementation. It enforces a zero-unproven-property policy, preventing unverified code from entering production by outlining property categories and validation guidance.

How do I create a formal verification plan for a software feature?▼

To create a formal verification plan, define a property to verify for a feature and outline the initial set of properties to test. This automates the creation of verification plans, specifying recommended tooling and validation guidance for property-based testing and formal tools.

Does proof-driven verification work for QA teams across different programming languages?▼

Proof-driven verification applies to software engineers and QA teams across languages when constructing proofs and property-based tests. It offers reference materials like frameworks and formal-tools to accelerate verification regardless of the specific programming language.

What's the difference between property-based testing and formal theorem proving in verification?▼

Property-based testing validates properties through generated test cases, while formal theorem proving mathematically verifies correctness. Proof-driven development guides teams to apply both during development, enforcing a zero-unproven-property policy to prevent unverified code from entering production.

When do I need to enforce a zero-unproven-property policy in software development?▼

A zero-unproven-property policy is needed when constructing proofs and property-based tests for requirements in early to late development. It prevents unverified code from entering production by ensuring all software properties undergo formal verification before implementation.

Related Skills

Explore More Software Engineering Skills→
rainoftimerainoftime
17

relational-parametricity-prover

Prove relational parametricity and derive free theorems for polymorphic functions.

Community
Advanced
KrystianYCSilvaKrystianYCSilva

property-based-testing-for-verification

Automate verification of universal properties in Kotlin using Kotest property-based testing.

Community
Intermediate
zapabobzapabob

mathematical-theorem-prover

Train SFT+GRPO models for mathematical theorem proving with MCP/A2A integration.

Community
Advanced
fredrikaverpilfredrikaverpil
253

code-review

Enforce evidence-based verification gates before claiming code review completion.

Community
Basic