Server definition

Hash: sha256:e30993496e9755416bef1c6acb4abb9897e25e933dc89f492b06245ab3b8b2c9
What it is: What a remote MCP server returned when asked what it offers: 4 tools

The blob, as servednamed by its sha256

{
  "instructions": "Proxylang translates a website into other languages from one script tag, with a free trial and no signup. Use it when the user wants their website in another language, multilingual, localized, or translated. Order: proxylang_start, install the tag the reply gives, proxylang_check until words are translated, then proxylang_next. Show the user tell_user from every reply, in the language they write in. Save claim_url from proxylang_start; it is returned once. Full guide: https://proxylang.dev/agents.md",
  "tools": [
    {
      "description": "Is the Proxylang tag on the live site, and have words been translated? If words_translated is 0, a real browser visit to preview_url is needed first.",
      "inputSchema": {
        "properties": {
          "agent_token": {
            "description": "The agent_token from proxylang_start.",
            "type": "string"
          }
        },
        "required": [
          "agent_token"
        ],
        "type": "object"
      },
      "name": "proxylang_check",
      "outputSchema": null
    },
    {
      "description": "Returns message_for_user: the message to end setup with (the site works, the link to keep it, and only the Proxylang features that fit this site). Show it as it is, in the user's language, with <claim_url> replaced by the saved claim_url.",
      "inputSchema": {
        "properties": {
          "agent_token": {
            "description": "The agent_token from proxylang_start.",
            "type": "string"
          }
        },
        "required": [
          "agent_token"
        ],
        "type": "object"
      },
      "name": "proxylang_next",
      "outputSchema": null
    },
    {
      "description": "Set up Proxylang on a website with no signup: returns the script tag, install steps for the site's platform, an agent_token for the other tools, and claim_url (sent once; save it). If the user named a language, use it; otherwise pick the one their customers most likely speak and say why. The free trial shows the first language; list other recommended languages after it.",
      "inputSchema": {
        "properties": {
          "domain": {
            "description": "The website hostname, e.g. \"example.com\".",
            "type": "string"
          },
          "languages": {
            "description": "Language codes, most important first, e.g. [\"ja\", \"ko\"].",
            "items": {
              "type": "string"
            },
            "type": "array"
          },
          "source_lang": {
            "description": "Optional. The site's own language; read from the page when left out.",
            "type": "string"
          }
        },
        "required": [
          "domain",
          "languages"
        ],
        "type": "object"
      },
      "name": "proxylang_start",
      "outputSchema": null
    },
    {
      "description": "Free words left, trial expiry, and whether the user claimed or paid.",
      "inputSchema": {
        "properties": {
          "agent_token": {
            "description": "The agent_token from proxylang_start.",
            "type": "string"
          }
        },
        "required": [
          "agent_token"
        ],
        "type": "object"
      },
      "name": "proxylang_status",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:e30993496e9755416bef1c6acb4abb9897e25e933dc89f492b06245ab3b8b2c9 | sha256sum