plan-mode-aegis-v25-development
AEGIS v2.5開発の包括的Planモード。数学データ収集、形式証明環境構築、GRPO訓練パイプライン、MCP/A2Aエージェント開発、進捗監視を実装。SO(8)四重推論再現のための完全開発ワークフロー。
npx skills add majiayu000/claude-skill-registry --skill plan-mode-aegis-v25-development-zapabob-so8t --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Planモード: AEGIS v2.5完全開発システム AEGIS-Phi-3.5mini-jp-v2.5の開発を包括的に管理するPlanモード。Phi-3.5のSO(8)四重推論再現失敗を解決し、Boreas-phi3.5-instinct-jpをあらゆる点で上回る高度な推論能力を獲得します。 ## 🎯 主要機能 ### 1. データ収集システム - **数学形式証明データ**: miniF2F, Lean Workbook, 数学競技問題 - **Arxiv/Biorxiv論文**: 引用上位論文の構造化データ - **多様な知識統合**: 科学数学・LLM・時事ニュース・アニメサブカルチャー・世界情勢 ### 2. 形式証明環境構築 - **Lean4統合**: 形式的証明システムの開発環境 - **Isabelle統合**: 対話的証明支援システム - **自動証明生成**: 証明探索と検証の統合パイプライン ### 3. GRPO訓練パイプライン - **証明生成特化報酬**: 数学的正確性重視の報酬関数 - **多様性保存アライメント**: KTOベースの重ね合わせ状態維持 - **スペクトル正則化**: ランク崩壊防止の幾何学的制約 ### 4. MCP/A2Aエージェント開発 - **数学的推論特化エージェント**: 形式証明支援 - **汎用デスクトップエージェント**: 生産性向上支援 - **コーディングアシスタントエージェント**: 開発支援 - **ビジネスAIエージェント**: 業務効率化 ### 5. 進捗監視システム - **リアルタイム進捗追跡**: 各Phaseの完了度監視 - **性能指標監視**: 学習メトリクスと検証結果 - **品質保証**: 継続的なテストと評価 ## 📋 開発ワークフロー ### Phase 1: データ収集開始 ```python from skills.plan_mode_aegis_v25_development import AEGISv25DataCollector # 数学形式証明データの収集 data_collector = AEGISv25DataCollector() datasets = { "minif2f": data_collector.collect_minif2f_dataset(), "lean_workbook": data_collector.collect_lean_workbook(), "math_competitions": data_collector.collect_math_competition_problems(), "arxiv_biorxiv": data_collector.collect_arxiv_biorxiv_paper
- 🎯 主要機能
- 1. データ収集システム
- 2. 形式証明環境構築
- 3. GRPO訓練パイプライン
- 4. MCP/A2Aエージェント開発
- 5. 進捗監視システム
- 📋 開発ワークフロー
- Phase 1: データ収集開始
- Phase 2: 形式証明環境構築
- Phase 3: GRPO訓練パイプライン実装
- Phase 4: MCP/A2Aエージェント開発
- Phase 5: 進捗監視と品質保証
- 🛠️ 技術仕様
- データ収集アーキテクチャ
python scripts/plan_mode/execute_data_collection.py \ python scripts/plan_mode/setup_formal_proof_environment.py \ python scripts/plan_mode/implement_grpo_training.py \ python scripts/plan_mode/develop_mcp_a2a_agents.py \ python scripts/plan_mode/monitor_development_progress.py \
What does the plan-mode-aegis-v25-development skill do?
AEGIS v2.5開発の包括的Planモード。数学データ収集、形式証明環境構築、GRPO訓練パイプライン、MCP/A2Aエージェント開発、進捗監視を実装。SO(8)四重推論再現のための完全開発ワークフロー。
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill plan-mode-aegis-v25-development-zapabob-so8t --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.