critic-edge-cases
CommunityIdentify and report missing edge cases in Failsafe contracts.
Software Engineering#quality assurance#code review#edge case detection#software specification#Failsafe contract
Authoriampawan
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill uncovers missing edge cases, ambiguous scenarios, and unspecified failure modes in Failsafe contracts, enhancing the contract verification process.
Core Features & Use Cases
- Edge Case Detection: Scans contracts for overlooked edge cases and ambiguous scenarios.
- Automated Findings: Provides a JSON array of findings with severity and suggestions.
- Use Case: Ensure that a software specification is robust by automatically detecting potential gaps in its behavior and state transitions.
Quick Start
Run the critic-edge-cases skill on your Failsafe contract to automatically identify any missing edge cases.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 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: critic-edge-cases Download link: https://github.com/iampawan/Manifest/archive/main.zip#critic-edge-cases 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 620,000+ vetted skills library on demand.