aaaa-nexus — Formally Verified AI Safety APIs

In SourceWeft

1. Open aaaa-nexus — Formally Verified AI Safety APIs 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": {
    "aaaa-nexus": {
      "type": "http",
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}