Devin Desktop

Devin DesktopCopy Anchor Link

Open the MCP settings and add a server, or edit mcp_config.json:

{
  "mcpServers": {
    "typestrict": { "serverUrl": "https://api.typestrict.ai/mcp" }
  }
}

Devin asks you to sign in to typestrict the first time. The local server, after installing the CLI: "typestrict": { "command": "typestrict", "args": ["mcp"] }.

Devin CLICopy Anchor Link

devin mcp add typestrict https://api.typestrict.ai/mcp
devin mcp login typestrict

The local server: devin mcp add typestrict -- typestrict mcp.

SkillsCopy Anchor Link

Devin reads skills from .devin/skills in the repository:

git clone https://github.com/typestrict-lab/skills.git
mkdir -p .devin/skills && cp -r skills/typestrict-* .devin/skills/