leanmcp.hashnode.devLeanMCP: Run AI Agents in Production. Own Your Stackby Xian Lu, co-founder of LeanMCP Getting an AI agent to work is easy. Getting it to production is a different story. You wire up your tools, the agent responds, the demo looks great. Then reality hits: How do you handle user auth? How do you isolat...22h ago·4 min read
leanmcp.hashnode.devCheckr: Realtime, Multi-Agent Mental Health Companion with Multi-Source Context AggregationCheckr is a voice + text AI companion built at NexHacks designed to remove barriers to mental health support for college students, via a conversational interface that acts, not just chats by connecting to real tools in the moment. What Checkr Does Wh...Feb 5·2 min read
leanmcp.hashnode.devNeocortex: Token-Budgeted Semantic Code Retrieval MCP ServerBuilt at NexHacks (CMU) and submitted as a LeanMCP Add-on Track winner, Neocortex is an MCP server designed to help AI coding assistants reason over large GitHub repositories without resorting to whole-file context dumps. With meaning-based search, i...Feb 5·2 min read
leanmcp.hashnode.devWashedMCP: One-Query Token-Efficient Semantic Code Search with Tool-Call AutomationWith 240+ teams participating in NexHacks at Carnegie Mellon, WashedMCP stood out by tackling two of the most common failure modes in AI-assisted coding: costly search and setup repetition. WashedMCP is a token-efficient semantic code search MCP serv...Feb 5·3 min read
leanmcp.hashnode.devNexHack & LeanMCP Hosted A COOLEST Hackathon in CMUWe're thrilled to announce the top three winners from the LeanMCP track at NexHacks hosted at Carnegie Mellon University! These outstanding projects demonstrated creative and practical applications of LeanMCP - pushing the boundaries of context-effic...Feb 2·2 min read
