jmf-enigma/codex-theory-proof-workbench
Codex skill for hard theory proof discovery, debugging, and failed-proof recovery
Codex skill for hard theory proof discovery, debugging, and failed-proof recovery
npx add-skill jmf-enigma/codex-theory-proof-workbenchCodex skill for hard theory proof discovery, debugging, and failed-proof recovery
Agent skill repository for AI-assisted workflows.
Automate Reply tasks via Rube MCP (Composio). Always search tools first for current schemas.
Automate Wiz tasks via Rube MCP (Composio). Always search tools first for current schemas.
Detect AI-generated language patterns in your codebase with this Claude Code skill to ensure human-quality prose.
Claude Code skills for Cybrix — install via "claude plugin marketplace add cybrixcc/cybrix-skills". Open-source skills paired with the Cybrix hosted backend.
Claude Code configuration — plugins, hooks, skills, agents, MCPs