plan-mode-aegis-v25-development
AEGIS v2.5開発の包括的Planモード。数学データ収集、形式証明環境構築、GRPO訓練パイプライン、MCP/A2Aエージェント開発、進捗監視を実装。SO(8)四重推論再現のための完全開発ワークフロー。
Installation
Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.
View source ↗GuidesSkill instructions
Features and purpose
AEGIS v2.5開発の包括的Planモード。数学データ収集、形式証明環境構築、GRPO訓練パイプライン、MCP/A2Aエージェント開発、進捗監視を実装。SO(8)四重推論再現のための完全開発ワークフロー。
Quick start
Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.
Guides ↗Examples
Read the usage examples in the source repository.
View source ↗Source history
- Indexed on
- 2026-01-20
- Index updated
- 2026-02-10
- Branch
- main
Index and sync dates describe this directory. View the source repository for code history.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!