project-planning
Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects.
AgentOrchestrator - Multi-Agent Development Coordination Platform
Host-neutral cross-agent work-tracking CLI for Claude Code + Codex — plan → project → ship, with a skill compiler/sync bridge and work-unit status/cleanup verbs.
Markdown-first persistent memory and project planning for AI agents, existing knowledgebases, and multi-agent workflows.
