POES Verification Skill
OfficialVerify AI-generated code with confidence.
Software Engineering#property testing#code verification#event sourcing#ai code#aggregate verification#poes
Authorkurrent-io
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill addresses the challenge of verifying AI-generated code, ensuring its correctness and reliability through automated testing and state exploration.
Core Features & Use Cases
- Property-Based Testing: Uses Hypothesis to test aggregates against defined properties.
- State Exploration: Exhaustively explores all reachable states of an aggregate.
- Temporal Property Checking: Analyzes the state graph for liveness properties.
- Persistence Verification: Replays production events to ensure invariants hold.
- Use Case: Automatically verify that a newly generated banking aggregate correctly handles deposits and withdrawals, ensuring the balance never goes negative and stays within defined limits.
Quick Start
Use the POES skill to verify the BankAccount aggregate with a deposit transition.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: POES Verification Skill Download link: https://github.com/kurrent-io/poes/archive/main.zip#poes-verification-skill Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.