open-index/open-npm huggingface dataset:
npm package: @iflow-mcp/namin-dafny-sketcher
Description: This Dafny Sketcher MCP builds on the Dafny Sketcher CLI, and exposes certain CLI functionality to MCP clients such as Claude and Cursor. ChatGPT can also work through a [third-party adapter](https://github.com/SecretiveShell/MCP-actions-adapter).
Latest version: 1.0.0

# Dafny Sketcher MCP

This Dafny Sketcher MCP builds on the Dafny Sketcher CLI, and exposes certain CLI functionality to MCP clients such as Claude and Cursor.
ChatGPT can also work through a [third-party adapter](https://github.com/SecretiveShell/MCP-actions-adapter).

## Building

- `npm run build`

## Testing

- ` npx @modelcontextprotocol/inspector node build/index.js`

## MCP Client Configuration

Edit your MCP client configuration, e.g.,
`$HOME/Library/Application Support/Claude/claude_desktop_config.json`
or
`.cursor/mcp.json` in a project directory.

Below, replace `$DAFNY_SKETCHER_PATH` with the path to your dafny-sketcher repo.

You can specify the environment variable `DAFNY_SKETCHER_WORKING_DIR`.
If specified, the file input is taken to be a relative file path (use for more rapid handling in Cursor).
If left unspecified, the input is the file content (use for Claude and ChatGPT).

```
{
  "mcpServers": {
    "dafny-sketcher": {
      "command": "node",
      "args": ["$DAFNY_SKETCHER_PATH/mcp/build/index.js"],
      "env": {
        "DAFNY_SKETCHER_CLI_DLL_PATH": "$DAFNY_SKETCHER_PATH/cli/bin/Release/net8.0/DafnySketcherCli.dll"
      }
    }
  }
}
```