MCP Pyrefly MCP Server

An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system

Local serverstdioPython

What is the MCP Pyrefly MCP Server?

An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system that makes LLMs

What you get

  • Real-time Type Checking — Leverages Pyrefly's blazing-fast type checker (1.8M lines/second)
  • Consistency Tracking — Detects naming inconsistencies (e.g., getUserData() vs get_user_data())
  • Smart Suggestions — Provides actionable fixes for common errors
  • Session Memory — Tracks identifiers across edits to maintain consistency
  • Multi-file Support — Validates code in context with related files
  • 🍭 Revolutionary Lollipop System — Gamified rewards that make fixing errors irresistible!

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
check_code
track_identifier
check_consistency
suggest_fix
submit_fixed_code
check_lollipop_status

How to install the MCP Pyrefly MCP Server

{
  "mcpServers": {
    "pyrefly": {
      "command": "mcp-pyrefly"
    }
  }
}

From the project documentation. Replace placeholders and example paths before connecting.

Example prompts to try

  • “Use MCP Pyrefly to check code.”
  • “Use MCP Pyrefly to track identifier.”
  • “Use MCP Pyrefly to check consistency.”

Frequently asked questions

An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system that makes LLMs Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.