Setup Chatgpt
Description
--- name: setup-chatgpt description: Set up the ChatGPT MCP server for mathematical second opinions --- # /setup-chatgpt - Set Up the ChatGPT MCP Server Set up an MCP server that lets Claude Code query ChatGPT for mathematical second opinions during Lean 4 formalization work. ## Usage ``` /setup-chatgpt ``` No arguments needed. This command will guide you through setup. ## What This Does The `chatgpt-math` MCP server provides a single tool: - `ask_chatgpt_math` - Ask ChatGPT a self-conta
Installation
Installs to ~/.claude/skills/cbirkbeck-mathlib-quality-setup-chatgpt/SKILL.md
mkdir -p ~/.claude/skills/cbirkbeck-mathlib-quality-setup-chatgpt && curl -fsSL https://raw.githubusercontent.com/CBirkbeck/mathlib-quality/HEAD/commands/setup-chatgpt.md -o ~/.claude/skills/cbirkbeck-mathlib-quality-setup-chatgpt/SKILL.md Restart Claude Code, or start a new session, for it to be picked up.
Full documentation available on GitHub
View Source RepositoryRelated Skills
Auto Update
Pull the latest ECC repo changes and reinstall the current managed targets.
Ecc Guide
Navigate ECC's current agents, skills, commands, hooks, install profiles, and docs from the live repository su
Epic Claim
Claim an epic issue, stamp coordination state, and sync local ownership.
Epic Publish
Publish a validated epic update back to the issue and local cache.
Epic Review
Mark epic review requested, approved, or changes requested.
Epic Unblock
Sweep blocked epic issues and reopen anything whose dependencies are closed.