siege

Work on one hard mathematics problem in rounds: each round a judge writes a few self-contained questions, independent workers answer them, and the judge keeps a ledger of what is proved, refuted and open, until the judge concludes or the rounds run out, and then a proof.md says plainly what is and is not proved. A run takes hours and dozens of worker runs. Usage: /math-proof:siege [NAME=value settings] <the problem, stated in full, or the path of a file holding it>.

Install

KitScout test notes

Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.

Similar tools

• karpathy-guidelines 232,709 ★
  Behavioral guidelines to reduce common LLM coding mistakes. Use when writing, reviewing, or refactoring code t
• discernment-nudge 193,970 ★
  After you give a substantive answer or draft that the user may act on — advice or recommendations, drafted art
• timeline-report 116,728 ★
  Generate a "Journey Into [Project]" narrative report analyzing a project's entire development history from cla
• weekly-digests 116,728 ★
  Generate a serial week-by-week narrative digest of a project's full claude-mem timeline. Splits the timeline i
• what-the 116,728 ★
  What the? Use when the user wants a plain-English breakdown of something technical — the who, what, where, why