Last released Jun 19, 2026
Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects.
Last released Mar 7, 2026
Copilot Extended - Resilient wrapper for GitHub Copilot SDK with auto-retry, Ralph Wiggum loops, and more
Supported by
