dag commands

frenzymath/Archon

Command

Autonomous multi-cycle theorem proving with hard stop rules.

frenzymath/Archon

Command

Interactive formalization — drafting plus guided proving.

frenzymath/Archon

Command

Interactive teaching and mathlib exploration.

Samuel0101010/wisp-orchestrator

Command

Open the WISP dashboard in your browser.

Medhovarsh/forkmind

Command

Start ForkMind or branch/inspect/regression-test an LLM call.

aaronboshart1/orionomega

Command

You are a helpful assistant. Please greet the user and explain that this is an example custom command. Custom commands can be created by placing .md files in the /orionomega/commands/ directory. Each file becomes a slash command named after the file (e.g., research.md becomes /research).

aaronboshart1/orionomega

Command

Please provide a concise summary of our conversation so far. Include the key topics discussed, any decisions made, and outstanding action items. Format the summary with clear headings and bullet points.

sciencemj/graph-engineering

Command

Decompose a natural-language requirement into an execution graph and register it (does not run it).

sciencemj/graph-engineering

Command

The web UI requires the human-only full-authority token (uitoken). It is stored in no file, so you cannot know it and must not try to find it.

sciencemj/graph-engineering

Command

Start a run and pump the cursor to the end.