nicholls-inc/claude-code-marketplace

Claude Code plugins you won't find anywhere else.

5Stars on the repository
50Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

crosscheck

03

nicholls-inc/claude-code-marketplace

Plugin Claude Code

Bundles 30 skills, 5 agents · 3,814 tokens together

Crosscheck Claude's code claims — formal verification via Dafny for provably correct Python/Go, plus semi-formal reasoning for structured code analysis, fault localization, and patch comparison.

5 6d ago A tokens not measured

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: