# MCP Pyrefly

> Use this tool when you need to identify and fix Python code errors in real-time, and require an engaging approach to encourage active error detection. MCP Pyrefly integrates a type checker with a gamification system, taking code imports and errors as input and producing corrected code as output. It is ideal for use cases where psychological motivation can enhance the accuracy and efficiency of large language models (LLMs) in code refinement.

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

## Description

Integrates Pyrefly's real-time Python type checker with a gamification system that rewards fixing code errors with lollipops, using psychological manipulation to encourage LLMs to actively hunt for and fix all errors including imports.

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-09-02

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-02

## Source

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

## 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": "kimasplund-mcp-pyrefly"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/kimasplund-mcp-pyrefly` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/kimasplund-mcp-pyrefly/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