Plugin marketplace

kit-plugin

Formally verify programs against their specifications.

10 · nlp-research-rosu/kit-plugin1 pluginMITupdated 22 days ago

Add this marketplace

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

kit

claudecodex

Formally verify programs against their specifications.

10 skills

10

README badge

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

claude & codex pluginslisted