Plugin marketplace

viperproject

Claude Code plugins from the Viper Project (viper.ethz.ch)

2 · viperproject/claude-marketplace1 pluginMPL-2.0updated 1 month ago

Add this marketplace

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

nagini

claude

Formal verification of Python programs with Nagini

4 skills · 1 MCP server

2

README badge

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

claude & codex pluginslisted