docs.devin.ai

{
  "name": "search_docs",
  "kind": "answer",
  "impl": "imperative",
  "description": "Search the Devin Docs documentation for relevant pages and content.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "query": {
        "type": "string",
        "description": "Search query"
      }
    },
    "required": [
      "query"
    ],
    "additionalProperties": false
  },
  "page": "/desktop/getting-started"
}

{
  "name": "read_page",
  "kind": "answer",
  "impl": "imperative",
  "description": "Read the full content of a Devin Docs documentation page as markdown.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "path": {
        "type": "string",
        "description": "Path or URL of the page, as returned by search_docs"
      }
    },
    "required": [
      "path"
    ],
    "additionalProperties": false
  },
  "page": "/desktop/getting-started"
}

{
  "name": "navigate_page",
  "kind": "act",
  "impl": "imperative",
  "description": "Navigate the current browser tab to a Devin Docs documentation page.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "path": {
        "type": "string",
        "description": "Path or URL of the page, as returned by search_docs"
      }
    },
    "required": [
      "path"
    ],
    "additionalProperties": false
  },
  "page": "/desktop/getting-started"
}

{
  "name": "get_site_overview",
  "kind": "answer",
  "impl": "imperative",
  "description": "Get an outline of the Devin Docs documentation, grouped by section, with a short description of each page. May be truncated for large sites; use search_docs to find pages not listed.",
  "inputSchema": {
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/desktop/getting-started"
}

{
  "name": "read_skill",
  "kind": "answer",
  "impl": "imperative",
  "description": "Read a Devin Docs agent skill document by name.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "skill_name": {
        "type": "string",
        "description": "The slug of the skill to read"
      }
    },
    "required": [
      "skill_name"
    ],
    "additionalProperties": false
  },
  "page": "/desktop/getting-started"
}