{"name":"nicholls-inc-crosscheck-crosscheck","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"nicholls-inc-crosscheck-crosscheck","source":{"source":"github","repo":"nicholls-inc/claude-code-marketplace"},"description":"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","version":"2.1.0","strict":true,"keywords":[],"category":"utilities"}]}