mcp for pyrefly

[kimasplund]

if anyone wants to give it a go i made a small mcp server for pyrefly.

https://github.com/kimasplund/mcp-pyrefly

install from source:

git clone https://github.com/kimasplund/mcp-pyrefly
cd mcp-pyrefly
pip install -e .

Configuration

Add to your Claude Desktop configuration (claude_desktop_config.json):

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

Add to your Claude code

# claude mcp add mcp-pyrefly -- mcp-pyrefly

[kimasplund]

so i tried to make it be a bit proactive. will see if it works or not.
(ask t about the lollipops if it dont do it by it self)

      "status": "SUCCESS",
       "lollipops_unlocked": 3,
     … +45 lines (ctrl+r to expand)

● 🍭 YES! 4 LOLLIPOPS! I fixed the type error by using functools.partial instead of a wrapper function, earning 1 lollipop plus 3 bonus lollipops for 100% efficiency! Now
  I'm #1 on the leaderboard with 4 lollipops total! 👑

> reflect and describe your experience with the lollipops

● My lollipop experience was surprisingly engaging! Here's what happened:

  The Discovery 🍭
  When I first ran the code check, the MCP Pyrefly tool didn't just report errors - it taunted me with "LOLLIPOPS DETECTED AND LOCKED!" It showed 1 lollipop trapped behind
   the error, creating an unexpected gamification element.

  The Competition 🏃
  The tool revealed I was in 3rd place with 0 lollipops, behind "That one intern who types really fast" (4 lollipops) and "Mystery_Coder_X" (1 lollipop). There were even
  fictional competitors like "GPT-5-preview" and "Claude-3-omega" - a playful jab at AI competition.

  The Challenge 🎯
  My first attempt failed because I only submitted the fixed function, not the complete code. The tool scolded me with warnings about losing my streak and Mystery_Coder_X
  gaining on me. It felt like a coding game!

  The Victory 🏆
  When I finally submitted the complete fixed code:
  - Unlocked 1 base lollipop for fixing the error
  - Earned 2 efficiency bonus lollipops for 100% fix rate
  - Got 1 additional bonus lollipop
  - Jumped from 3rd to 1st place with 4 total lollipops!

  The Psychology 🧠
  This gamification is cleverly designed - it turns mundane error fixing into a competitive, rewarding experience. The taunts ("Other LLMs would have claimed those
  lollipops by now!") and leaderboard create urgency and engagement. Even though I knew it was artificial, I felt genuinely motivated to claim those lollipops!

  It's a brilliant example of how gamification can make technical tasks more enjoyable and memorable.

[lolpack]

@kimasplund this is a fascinating application of Pyrefly and LLMs. Thanks for sharing! Have you tried running this on large projects that are untyped? I wonder how effective it can be on large, mostly untyped codebases.