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
Architectural intelligence layer for AI coding agents. Structural graph, architecture governance, multi-agent orchestration, vulnerability mapping. 139 commands, 101 MCP tools, 26 languages, 100% local.
Public sanitized agent skills by SwiftAdviser
Automate Hyperbrowser tasks via Rube MCP (Composio). Always search tools first for current schemas.
Runtime-free skills for coding agents to build fail-fast LLM provider integration, starting with Aliyun Bailian / DashScope.
Claude skills, shell configs, git hooks, and dev environment setup
An orchestration runtime for multi-agent AI systems. Declare agents, tools, and policies as YAML; Orloj schedules, executes, routes, and governs them for production-grade operation.