Install one, then just prompt in plain English. The FLOW.md fires the right skill at the right moment. No re-orchestration, no babysitting.
Danus orchestrates mathematical reasoning agents with fact-graph memory. A main agent (Claude Code) steers a swarm of autonomous codex workers that prove; a cold-start verifier is the sole authority on correctness: a result becomes real only once it passes.
@frenzymathView PluginValidate externally referenced theorems by querying arXiv theorem search first and Codex's built-in web search second. Use when a markdown proof cites…
@frenzymathView SkillConstruct candidate counterexamples to test a proposed conjecture, lemma, or intermediate claim by keeping the assumptions true while making the claimed…
@frenzymathView SkillGenerate and analyze simpler examples that satisfy both the assumptions and the conclusion of a theorem statement or subgoal. Use when you are stuck in…
@frenzymathView SkillConsult a strong reasoning model for strategy — feed it the current elaboration, take its reply as the next master_guidance, and dispatch workers from it. This…
@frenzymathView SkillScreen a decomposition plan by first trying to prove all of its subgoals directly, then identifying the key stuck points if the plan does not fully go through.…
@frenzymathView SkillWrite a high-signal-to-noise mathematical progress synthesis of a project from the shared stores (global memory + fact graph), following a fixed…
@frenzymathView Skill© 2026 Flowy · Free and open source
Built for Claude Code · Not affiliated with Anthropic
