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
Library of agent skills I use to keep AI-assisted work rigorous, shippable and easy to hand off
Daily GitHub radar for AI agent skills, MCP servers, prompts, and agent-native developer tools.
AI governance infrastructure for agentic systems. Rust library behind systemprompt.io — MCP, A2A, OAuth2, audit trails, compile-time extensions. Evaluate with systemprompt-template.
My agent configs (Claude Code, Codex, OpenCode) — skills, hooks, scripts
Automate Storerocket tasks via Rube MCP (Composio). Always search tools first for current schemas.
my claude skills