gpd-attack-obligation
OfficialGenerate focused attack plans for open proof obligations.
AuthorUnified-Field-Theory-Research
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill addresses the challenge of creating a targeted attack plan for an open proof obligation, providing a structured approach to tackle proof-related tasks.
Core Features & Use Cases
- Attack Plan Generation: Develops a detailed plan for addressing a specific proof obligation.
- Evidence and Blockers: Incorporates evidence and identifies blockers to inform the attack strategy.
- Candidate Lanes: Outlines potential paths to resolution.
- Acceptance Checks: Ensures the plan meets acceptance criteria.
- Use Case: For researchers working on mathematical proofs, this Skill aids in formulating a strategic approach to resolve complex proof obligations.
Quick Start
Generate an attack plan for the obligation 'OBL-000' by running the command: gpd-attack-obligation OBL-000
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: gpd-attack-obligation Download link: https://github.com/Unified-Field-Theory-Research/finite-capacity-causal-geometry/archive/main.zip#gpd-attack-obligation 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.