Plugin marketplace

provingkit

Source projection for Provingkit's seven Agent Plugins v1 members. This manifest is not a marketplace publication.

1 · nisavid/provingkit9 pluginsMITupdated today

Add this marketplace

Then install any plugin below by name — each page has its exact command.

tricritical

claude

Tricritical: independently planned intent, runtime, and structure critics, adjudication, authority-gated revision, and one fixed-point loop.

7 skills · 6 agents

1

mergecraft

claude

Mergecraft: GitHub repository configuration, Issue–PR relations, pull-request authoring, publication, Graphite transport, feedback, readiness, merge, and stack repair.

12 skills

1

versionkeeping

claude

Versionkeeping: safe Git checkpoints, conflict resolution, exact-lease publication, provenance-aware worktree cleanup, and history-preserving fork sync.

4 skills

1

artifact-customs

claude

Clear, adopt, maintain, replace, and retire exact third-party software components under explicit policy.

3 skills

1

proseweaving

claude

Proseweaving: house standards and verification for agent-authored human-facing prose.

1 skill · 1 agent

1

rolecasting

claude

Rolecasting: portable model selection and delegation topology for agent work.

2 skills

1

surreal-intercom

claude

Surreal Intercom: addressed agent messages, retained attempts, correlation and conservative communication outcomes.

1 skill

1

task-witness

claudecodex

Task Witness launches exact-byte-pinned registered validators against retained operator trust.

1

task-witness

claudecodex

Task Witness launches exact-byte-pinned registered validators against retained operator trust.

1

README badge

Shows how many plugins this repo ships, and links here.

claude & codex plugins9 plugins