An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system
MCP Pyrefly MCP server exists for a simple reason — assistants are far more useful when they can act on MCP Pyrefly directly instead of describing what you should do. An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system that makes LLMs ADDICTED to fixing errors!.
Once MCP Pyrefly is connected, these are the calls the assistant has available:
check_code — Validates Python code for type errors and consistency issuestrack_identifier — The track_identifier tool exposed by this servercheck_consistency — The check_consistency tool exposed by this serversuggest_fix — Get fix suggestions for specific error messages with principled coding reminderssubmit_fixed_code — The submit_fixed_code tool exposed by this servercheck_lollipop_status — The check_lollipop_status tool exposed by this serverInstallation goes through your MCP client rather than a global install: point it at mcp-pyrefly on PyPI and it is fetched when the client starts. The copy-paste blocks for Claude Desktop, Claude Code and Cursor are further down this page.
Among the developer tooling options, the useful question is rarely "what can it do" but "what does it cost you to run" — permissions, credentials, and how much of your context its toolset consumes. MCP Pyrefly's toolset — check_code, track_identifier, check_consistency and 3 more — is a fair guide to whether it matches your workflow. It is maintained by kimasplund; worth a glance at recent repository activity before you build anything load-bearing on it.
SyncDev reviews every entry in this directory against the project's own documentation before publishing, and revisits them as servers change.
| Tool | What it does |
|---|---|
| check_code | Validates Python code for type errors and consistency issues. |
| track_identifier | The track_identifier tool exposed by this server. |
| check_consistency | The check_consistency tool exposed by this server. |
| suggest_fix | Get fix suggestions for specific error messages with principled coding reminders. |
| submit_fixed_code | The submit_fixed_code tool exposed by this server. |
| check_lollipop_status | The check_lollipop_status tool exposed by this server. |
{
"mcpServers": {
"pyrefly": {
"command": "mcp-pyrefly"
}
}
}Configuration as documented by the project. Restart the client after saving.
Kill hallucinated APIs — version-accurate, up-to-date library documentation injected straight into context.
Microsoft's official browser automation server — drive a real browser through the accessibility tree, no screenshots needed.
GitHub's official server — repos, issues, pull requests, Actions and code security, straight from your assistant.
Issue tracking at the speed of conversation — Linear's official hosted server with OAuth and zero install.
Local repository surgery — status, diffs, commits, branches and history for any repo on disk.
Timezone sanity for AI — current time anywhere and correct conversions, without the model doing date math.