If LM Studio does not launch automatically, you can add the following configuration to your app's mcp.json.

{
  "proofpack": {
    "command": "npx",
    "args": [
      "-y",
      "proofpack-cli@0.3.2"
    ]
  }
}

Don't have LM Studio installed? Get it here.

If LM Studio does not launch automatically, you can add the following configuration to your app's mcp.json.

{
  "proofpack": {
    "command": "npx",
    "args": [
      "-y",
      "proofpack-cli@0.3.2"
    ]
  }
}

Don't have LM Studio installed? Get it here.