Docs7 configuration - Context7 MCP

Docs7 supports the Mintlify docs.json format and adds two optional top-level fields.

Set filterSidebar to true to add a filter above the sidebar. Readers can press / to focus it.

docs.json

{  "filterSidebar": true}

The default value is false.

Group products#

Use productGroups to move product tabs from the top navigation into named groups on the documentation sidebar.

docs.json

{  "productGroups": [    {      "group": "Products",      "products": [        {          "product": "Redis",          "icon": "/images/redis.svg",          "description": "Serverless Redis"        }      ]    },    {      "group": "Utility",      "products": [        {          "product": "Rate Limit",          "pages": ["ratelimit/overview", "ratelimit/get-started"]        }      ]    }  ],  "navigation": {    "tabs": [      {        "tab": "Documentation",        "pages": ["index"]      },      {        "tab": "Redis",        "pages": ["redis/overview", "redis/get-started"]      },      {        "tab": "API Reference",        "pages": ["api/introduction"]      }    ]  }}

In this example:

Documentation is the landing tab.
Redis uses the existing tab with the same name.
Rate Limit owns its pages and does not need a tab.
API Reference stays in the top navigation.

A product can own pages or groups, but not both. Product and group names must be unique.

Note

Do not add the landing tab to productGroups. Do not use productGroups with Mintlify navigation.products.

If productGroups is not set, Docs7 uses your regular Mintlify navigation.

Filter the sidebar#

Group products#