# MCP Pyrefly Autotype Server

> Use this tool when you need to analyze and improve Python code with automated type annotations and checking. It solves problems of code quality, maintainability, and error reduction by providing AI-driven type inference and analysis. The server takes Python code as input and outputs annotated code with type information, ideal for use in development environments where code reliability and efficiency are crucial.

Canonical page: https://skillsregistry.net/skills/lolpack-mcp-pyrefly-autotype  
JSON: https://api.skillsregistry.net/v1/skills/lolpack-mcp-pyrefly-autotype

## Description

A Model Context Protocol server that enables AI assistants to analyze Python code, add type annotations, and perform type checking using Pyrefly's type inference engine.

## Trust

- **Trust score (0–1):** 0.91
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-19

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/mhyw9vncti)
- **Repository:** <https://github.com/lolpack/mcp-pyrefly-autotype>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "lolpack-mcp-pyrefly-autotype"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/lolpack-mcp-pyrefly-autotype` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/lolpack-mcp-pyrefly-autotype/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt