ci plugins

unshDee/proofrag

Plugin Claude Code

Plugin marketplace listing 1 plugin: proofrag.

unshDee/proofrag

Plugin Claude Code

Evaluate a RAG/LLM app: generate a golden set from your docs, run LLM-as-judge + retrieval metrics, and produce a shareable HTML scorecard with a CI gate.

mbanderas/costguard

Plugin Claude Code

Self-hosted marketplace for the Costguard cost-audit plugin.

mbanderas/costguard

Plugin Claude Code

Find and quantify cloud and CI spend waste from your coding agent. Costguard runs read-only billing checks (GitHub Actions, Supabase, Railway, Netlify, Neon), static CI/cron waste rules, dry-run-first auto-fixes for workflow files, and a monthly cost digest — all driven from your session via /costguard-audit…

vince-gonzalez/gonzalgo

Plugin Claude Code

Find out what a Lean 4 project rests on and why — inherited sorry, nativedecide, and which step introduced an axiom, with statement dependencies kept apart from proof dependencies.

joeyycli/constitution-lint-action

Plugin Claude Code

Plugin marketplace listing 1 plugin: constitution-lint.

joeyycli/constitution-lint-action

Plugin Claude Code

Lint a CLAUDE.md-style agent constitution for missing operational guardrails — 10 heuristic checks (spend limits, injection defense, escalation path, secrets handling, ledger discipline, session ritual, referenced state files). Adds a /lint-constitution command.

Jujitae/invara

Plugin Claude Code

INVARA - independent verification for AI-built software.

Jujitae/invara

Plugin Claude Code

Independent verification that a change kept the constraints it declared. Seal a contract before the work: the paths that must not change, and the commands that must pass. Afterwards INVARA judges from file digests and exit codes and returns BLOCK, UNVERIFIABLE, HUMANREVIEW or PASS, naming which rule decided. UNVERIFIA.