Subproof

In SourceWeft

1. Open Subproof in the dashboard and add it to a workspace.
2. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

{
  "mcpServers": {
    "subproof": {
      "type": "http",
      "url": "https://subproof.artificl.us/mcp"
    }
  }
}