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 skills add jmf-enigma/codex-theory-proof-workbenchCodex skill for hard theory proof discovery, debugging, and failed-proof recovery
Claude Code skills for reverse-engineering CAN bus signals into DBC files using the CANsub CAN bus interface
Local-first AI agent health app. Only a SKILL.md and a binary.
Claude Code skill — delegate coding tasks to Mistral Vibe, supervise via git diff & save 50-90% Claude token usage
Desktop control plane for agentic tooling. One pane of glass over every agent, skill, command, MCP, hook, rule, memory, and plugin on your machine.
Coding agent skills and plugins for Tx3
Salesforce's curated collection of agent skills for building applications. Optimized for Agentforce Vibes, compatible with all AI tools.