"author:kimasplund" matching MCP servers:

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.