Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

inspect-chat

Étoiles2

Forks1

Mis à jour27 mai 2026 à 05:49

Read-only one-shot inspection of a live ChatGPT chat — returns generating flag, assistant turn count, last assistant message length and tail. Use during long-running roles to check whether the chat is still working or done.

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Exécuter dans Manus

Source

p-aldighieri

p-aldighieri/MathPipeProver

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Exécuter dans Manus

Métiers associésSOC

Basé sur la classification professionnelle SOC

Développeurs de logicielsProfessions informatiques et mathématiques·SOC 15-1252

SKILL.md

readonly

name	inspect-chat
description	Read-only one-shot inspection of a live ChatGPT chat — returns generating flag, assistant turn count, last assistant message length and tail. Use during long-running roles to check whether the chat is still working or done.

inspect-chat

Canonical content: .claude/commands/inspect-chat.md in this repo. Codex and Claude Code share the same procedure — edit the Claude command file, not this stub.

TL;DR for Codex sessions

Use when the orchestrator needs to know "is this chat still working or done?" without harvesting the content. Shells out to:

scripts/chatgpt_browser_agent/cdp_inspect_chat.mjs --chat-url URL --port PORT

Outputs JSON with generating, assistantMessages, lastAssistantLen, lastAssistantTail. If the chat is done, follow up with /recover-chat to harvest. If still generating, decide whether to wait or move on.

Read .claude/commands/inspect-chat.md for the full step-by-step.

Plus depuis ce dépôt

même dépôt

search-council

p-aldighieri/MathPipeProver

Fan out a 4-member council (1 Codex thinking-high + 1 Gemini Pro + 1 Claude Opus + 1 ChatGPT Extended Pro) on a stalled re-attack. Preserves all four independent memos; hands off to the regular Strategy Searcher for pure selection. Opt-in (attempt ≥2), ~3× the cost of a single search.

2026-06-012

recover-chat

p-aldighieri/MathPipeProver

Harvest a completed ChatGPT chat's last assistant message into a response file. Use when a role finished but the response file wasn't captured (e.g., orchestrator lost the chat URL, or the submit script died after the model responded).

2026-05-292

set-referee-targets

p-aldighieri/MathPipeProver

Create or update {PROOF_REPO}/referee_targets.yaml — the target-journal registry the paper_referee role consults to judge whether the result clears the bar at the journals you might submit to. Optional; without it the referee falls back to a generic publishability check.

2026-05-272

mathpipe-browser-proof-ops

p-aldighieri/MathPipeProver

Use when working in MathPipeProver on ChatGPT project preparation, durable source refresh, project-source inspection, or browser-backed external_agent submission. Prefer scripts/chatgpt_browser_agent.sh prepare/submit over ad hoc UI work, enforce the Extended Pro target, and keep durable sources separate from temporary attachments.

2026-05-272

set-model-extended

p-aldighieri/MathPipeProver

Verify or set the ChatGPT composer to the Extended Pro target (reasoning Pro + model 5.5; pill reads "Extended Pro" or "Pro"). Required before any analytical submission.

2026-05-272

set-sources

p-aldighieri/MathPipeProver

Add or remove durable files in a ChatGPT project's Sources tab. Use after a verified result lands, after a route pivot, or when the durable proof-state file has been updated locally.

2026-05-272

Exécutez n'importe quel Skill en un clic