morankor/theorist-toolbox/co-math-status

Claude Code and agent skill by morankor/theorist-toolbox

Trust tier 3
  • community
Source check pending

Checking that the SKILL.md file is still in the repository.

Render a compact status view of an AI co-mathematician research project — goals, active workstreams, blocked items, pending reviews, recent decisions. Use when the user asks "what's the status of this project", "show me the workstreams", "/co-math-status", "what's blocked", or wants to understand project state without opening files manually. Replaces the visual workstream branching diagrams of the DeepMind paper (Fig. 2-4) with an ASCII rendering.

Install

npx vskill@latest install morankor/theorist-toolbox/co-math-status

SKILL.md

Author: Moran Koren, Ben-Gurion University of the Negev (korenmor@bgu.ac.il). Part of the Theorist Toolbox.

co-math-status

Render a compact, human-readable status view of the current AI co-mathematician project.

When to invoke

  • /co-math-status
  • "show project status"
  • "what's the state of this project"
  • "what's blocked"
  • "which workstreams are running"

What it does

Runs python3 ~/.claude/co-math/tools/render_status.py from the current directory. The script walks up from the cwd to find a co-math-config.json; if there is no co-math project in the ancestry, it prints "not inside a co-math project" and exits cleanly.

When inside a project, the output looks like:

Project: ambidextrous-sofa
Created: 2026-05-10  |  Strict mode: ON  |  Paper format: latex
 
Research question:
  Prove an upper bound on the ambidextrous sofa problem area.
 
Goals (approved: YES)
  G1 Literature review of prior sofa bounds
  G2 Computational framework for branch-and-bound search
  G3 Execute the search
 
Workstreams                         status      agent              last update
  W001-prior-bounds          [G1]   COMPLETE    literature-reviewer 2026-05-10
  W002-comp-framework        [G2]   RUNNING     coder              2026-05-11
  W003-pruning-heuristic     [G2]   BLOCKED     prover             2026-05-12  <-- needs attention
  W004-search                [G3]   PLANNED     -                  -
 
Pending reviews
  W002-comp-framework  -- in review by paper-reviewer (round 1)
 
Open obligations in paper.tex
  3 \unproven blocks (see appendix A)
 
Recent decisions (last 3)
  2026-05-12  Pruning heuristic blocked; user steering needed (per W003 report.md)
  2026-05-11  Approved goals G1-G3
  2026-05-10  Project initialized
 
Failed explorations: 1 (see failed-explorations/)

Output

Output is printed directly. The script does not modify any files. After printing, briefly summarise the most important item for the user — typically "X workstreams running, Y blocked" — rather than re-explaining what the user just saw.

When to do more than render

If the user follows up with "open the blocked workstream" or "show me W003's log", read the relevant file with the Read tool and surface the contents.

Security

  • Security scanPassed, 90 of 100Pattern checks on the skill's files.
  • Model reviewPassed

See the full security report

Quality evaluation

  • Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

Popularity

Repository stars
81
Repository forks
23
7-day trend score
22

Stars and forks are for the whole GitHub repository, not this skill alone. Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

  • Claude Code
  • Cursor
  • GitHub Copilot
  • Windsurf
  • Codex
  • Gemini CLI
  • Cline
  • Amp
  • Roo Code
  • Goose
  • Continue
  • Kilo Code
  • Junie
  • Trae
  • OpenHands
  • Qwen Code
  • AI Agent
  • Tabnine Chat
  • Sourcegraph Cody
  • Amazon Q
  • Firebase Genkit
  • Sweep
  • Devin
  • Phind
  • Mentat
  • Claude Desktop
  • Aider
  • GPT Pilot
  • Plandex
  • bolt.new
  • v0
  • Replit Agent
  • Anse
  • TypingMind
  • BetterChatGPT
  • LibreChat
  • Warp AI
  • Pieces
  • Fig AI
Embed badge
vskill VERIFIED badge
[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/morankor/theorist-toolbox/co-math-status/badge)](https://verified-skill.com/skills/morankor/theorist-toolbox/co-math-status)

Something wrong with this skill or its page? Tell us.