Stats
Actions
Tags
Copy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"dafny": {
"command": "node",
"args": [
"${CLAUDE_PLUGIN_ROOT}/mcp-server/dist/index.js"
],
"env": {
"DAFNY_DOCKER_IMAGE": "crosscheck-dafny:latest"
}
}
}
}Review these signals before enabling this server
This server has elevated permissions. Review the source code before enabling.
Server configuration and connection parameters
nodeCommand-line arguments passed to the server process
Environment variables set when the server starts
DAFNY_DOCKER_IMAGE=crosscheck-dafny:latestnpx claudepluginhub nicholls-inc/claude-code-marketplace --plugin crosscheck