DER sequence tag check, body discarded for Cursor

io.github.sadri-dridi/der-ok

DER sequence tag check, body discarded

client:Cursor transport:streamable-http tools:31

Install DER sequence tag check, body discarded in Cursor

~/.cursor/mcp.json · windows: %USERPROFILE%\.cursor\mcp.json

{
  "mcpServers": {
    "der-ok": {
      "url": "https://agent-observatory-sensor.nolimit-observatory.workers.dev/s/der-ok/mcp"
    }
  }
}

Use .cursor/mcp.json in a project root instead to scope it to that project. Cursor merges both. Cursor docs