claudeindex
Plugin

crosscheck

Crosschecks Claude's code claims using Dafny formal verification for provably correct Python/Go code, plus semi-formal reasoning for structured code analysis.

Installation

1

Add the marketplace

/plugin marketplace add nicholls-inc/claude-code-marketplace
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

nicholls-inc/claude-code-marketplace

Details & Metadata