An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system
An MCP (Model Context Protocol) server that integrates Pyrefly for real-time Python code validation, featuring a revolutionary gamification system that makes LLMs
Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.
Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.
| Tool | What it does |
|---|---|
| check_code | |
| track_identifier | |
| check_consistency | |
| suggest_fix | |
| submit_fixed_code | |
| check_lollipop_status |
{
"mcpServers": {
"pyrefly": {
"command": "mcp-pyrefly"
}
}
}From the project documentation. Replace placeholders and example paths before connecting.
Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
Provides logical reasoning capabilities through integration with the Coq proof assistant.
Local-first Sui DeFi evidence and review for AI clients before wallet signing.
Indexes your codebase's public API and serves it via compact MCP tool responses.
# MCP + Ollama Local Tool Calling Example This project demonstrates how a local AI agent can **understand user queries** and **automatically call