plan-mode-aegis-v25_development
CommunityPlan-mode for AEGIS v2.5 development
Authorzapabob
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Plan-mode provides an end-to-end management layer for AEGIS v2.5 development, coordinating data collection, formal-proof environments, GRPO training pipelines, MCP/A2A agents, and progress tracking to accelerate autonomous research.
Core Features & Use Cases
- Data collection system for mathematical data, papers, and knowledge sources.
- Formal proof environment setup with Lean4/Isabelle integration and automated proof pipelines.
- GRPO training pipeline to optimize mathematical reasoning and proof strategies.
- MCP/A2A agent development across math reasoning, desktop assistance, coding, and business AI.
- Real-time progress monitoring and quality assurance to ensure delivery and governance.
Quick Start
Launch Plan mode to initialize the end-to-end AEGIS v2.5 development workflow and begin data collection, environment setup, and agent development.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: plan-mode-aegis-v25_development Download link: https://github.com/zapabob/SO8T/archive/main.zip#plan-mode-aegis-v25-development 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.