doctor

10 results for tag "doctor"

🏪

Marketplaces

cameronfreer-lean4-skillscameronfreer/lean4-skills2012

Enables Claude to systematically develop, analyze, and automate formal mathematical proofs in Lean 4 through integrated theorem proving commands, specialized agents, and workflow tools.

community autoformalize autoprove+8

🎯

Skills

doctoryonatangross/orchestkit1220

An orchestration toolkit providing Claude Code skills and plugins for coordinating development workflows and automating complex tasks.

🔌

Plugins

nvim-doctorBitYoungjae/marketplace

🏪

Marketplaces

cameronfreer-lean4-skillscameronfreer/lean4-skills2012

Enables Claude to systematically develop, analyze, and automate formal mathematical proofs in Lean 4 through integrated theorem proving commands, specialized agents, and workflow tools.

community autoformalize autoprove+8

🎯

Skills

doctoryonatangross/orchestkit1220

An orchestration toolkit providing Claude Code skills and plugins for coordinating development workflows and automating complex tasks.

🔌

Plugins

nvim-doctorBitYoungjae/marketplace

doctoryeachan-heo/oh-my-codex731,499

A diagnostic skill for oh-my-codex (OMX) that verifies installation, runtime health, and team/swarm configuration — helping troubleshoot setup issues with Codex CLI and OMX extensions.

doctor

doctoryonatangross/skillforge-claude-plugin370

A doctor skill from SkillForge, a Claude Code plugin that generates and manages development skills through AI-powered forge workflows.

doctor

doctoryeachan-heo/oh-my-claudecode370

Multi-agent orchestration for Claude Code with zero learning curve, enabling complex agent coordination without additional configuration.

doctor