{"name":"nicholls-inc-nicholls","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"},{"name":"nicholls-inc-awesome-copilot-awesome-copilot","source":{"source":"github","repo":"nicholls-inc/claude-code-marketplace"},"description":"Meta prompts that help you discover and install curated GitHub Copilot agents, instructions, prompts, and skills from the awesome-copilot repository.","version":"1.0.0","strict":true,"keywords":[],"category":"utilities"},{"name":"nicholls-inc-field-report-field-report","source":{"source":"github","repo":"nicholls-inc/claude-code-marketplace"},"description":"Generate structured performance reports on plugins, skills, and agents by analysing Claude Code session conversations.","version":"1.1.0","strict":true,"keywords":[],"category":"utilities"}]}