co-math-status

Name: co-math-status
Author: morankor

57stars19forks

How to install co-math-status?

morankor/theorist-toolbox/co-math-status

$npx -y skills add morankor/theorist-toolbox --skill co-math-status

Installs into the current project.

Summary

Render a compact status view for a Codex co-mathematician project. Use when the user asks for project status, active workstreams, blocked items, pending reviews, open proof obligations, recent decisions, or "what is happening in this co-math project".

Files · 1

View on GitHub

SKILL.md

1	# Co-Math Status
2
3	Summarize the state of a co-math research project without making changes.
4
5	## Workflow
6
7	1. Start from the current directory unless the user gives a project path.
8	2. Run the bundled script:
9
10	```bash
11	python3 scripts/render_co_math_status.py <optional-project-or-child-path>
12	```
13
14	3. Show the rendered status.
15	4. Add a short human summary: running workstreams, blocked workstreams, pending reviews, and the most important next action.
16
17	The script walks upward until it finds `co-math-config.json`. If it cannot find one, say that the current directory is not inside a co-math project.
18
19	## Do More Only On Request
20
21	If the user asks to inspect a specific workstream, read that workstream's `instructions.md`, `status.md`, `log.md`, and `report.md`, then summarize the relevant parts. Do not dump long logs unless asked.

People who liked this also viewed

6 picks

Type