opum-ai

Formal verification for real codebases with Claude Code: TLA+ and Lean 4 skills that find, reproduce, fix and prove concurrency and state bugs. MIT, by Opum AI.

1 plugin · opum-ai/proof-skills

1 plugin · opum-ai/plain-english-styles

Sustainable test suites for agentic engineering: test constitution with rigor profiles, lean test planning, mutation-kill-matrix audits, certified test-suite reduction, CI gates, provable coverage. Claude Code plugin.

1 plugin · opum-ai/test-skills

Deterministic, LLM-free task tracker CLI — the record layer coding agents and humans write to.

1 plugin · opum-ai/quest-cli

Project housekeeping for agentic engineering: Minimal to Immaculate levels, safe git/workspace/runtime/Claude Code cleanup with quest and lore sync

1 plugin · opum-ai/housekeeping-skills

Claude Code skills that explain and diagram architectures, processes, decisions, data and plans - Mermaid in Markdown, checked for syntax and truth.

1 plugin · opum-ai/diagram-skills

Measured performance engineering for agentic development: profile, benchmark, optimize and gate Python, JS/TS (Node and Bun), browser and Bash code. Companion to proof-skills and test-skills.

1 plugin · opum-ai/profile-skills

OKF-native documentation CLI (Bun/TypeScript) coupling repo-resident docs to Backlog.md, Quest, or Jira tasks; consumable by Obsidian/MkDocs/Docusaurus with one-way Confluence publish.

1 plugin · opum-ai/lore-cli

Claude Code plugin marketplace for the Opum fleet: a federated index, and the home of the opum-workflow plugin.

9 plugins · opum-ai/opum-marketplace

yaml-lsp: YAML language-server plugin for Claude Code (Opum)

1 plugin · opum-ai/yaml-lsp

Original Claude Code output styles from Opum AI.

1 plugin · opum-ai/opum-output-styles