Plugin
danus
🚀✨ News: This branch is the version that solved YTD. 🎉 Danus orchestrates mathematical reasoning agents with fact-graph memory.
12 skills465
@frenzymathLast ship Aug 2026
🚀✨ News: This branch is the version that solved YTD. 🎉 Danus orchestrates mathematical reasoning agents with fact-graph memory.
@frenzymathValidate externally referenced theorems by querying arXiv theorem search first and Codex's…
@frenzymathConstruct candidate counterexamples to test a proposed conjecture, lemma, or intermediate…
@frenzymathGenerate and analyze simpler examples that satisfy both the assumptions and the conclusion of…
@frenzymathScreen a decomposition plan by first trying to prove all of its subgoals directly, then…
@frenzymathSynthesize the common stuck points across failed decomposition plans. Use when the current…
@frenzymathDerive immediate mathematical consequences from a theorem statement or subgoal. Use when…
@frenzymathAn opinionated library of Flows. Free. Open source. V1.
© 2026 Flowy
Built for Claude Code · Not affiliated with Anthropic