원클릭으로
improve-workflow
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
메뉴
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
Fix warnings line by line and bring code into compliance with Mathlib style standards.
Improve an existing working proof for structural clarity, succinctness, or reusability.
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
Fill a sorry one step at a time, directed by the user.
Read and discuss proofs, strategies, or math concepts without making any edits.
| name | improve-workflow |
| description | Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md. |
Help the user improve their Claude Code setup — instructions, skills, memory files, and conventions.
Topic: $ARGUMENTS
assistants.md, relevant SKILL.md files, CLAUDE.md, and .claude/ contents to understand what's already configured.assistants.md — agent instructions, workflow modes, tool guidance, project patterns.claude/skills/*/SKILL.md — slash command definitions.claude/settings.local.json — Claude Code settings~/.claude/projects/ — cross-session notesmcp.toml (repo + commit). Both .mcp.json and .cursor/mcp.json invoke scripts/start-lean-mcp.sh identically; keep them in sync. Update mcp.toml to change the lean-lsp source.