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
Skills同步备份
Automate Timely tasks via Rube MCP (Composio). Always search tools first for current schemas.
Agent skill repository for HuGuanyu0103/claude-skill-AB.
Open-source organizational substrate for any agent runtime. Bring your own agent. We bring the org.
Automate Breezy HR tasks via Rube MCP (Composio). Always search tools first for current schemas.
会记忆、能成长的随身 AI 助手 · 桌面 / 云端 / IM 随叫随到，手机远程也能连 | Personal AI that remembers and grows — lives on desktop, self-hosted server and every IM, reachable anywhere