NexHack & LeanMCP Hosted A COOLEST Hackathon in CMU

We'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-efficient tool calling, semantic code understanding, and agentic AI systems.

1st Place: WashedMCP

Built by Pavan Kumar and his team

WashedMCP delivers a token-efficient semantic code search server that returns not just a matching function or class, but also its callers, callees, and relevant same-file context in a single query. By using Tree-sitter parsing, ChromaDB vector storage, and a custom TOON (Token-Optimized Object Notation), it dramatically reduces token usage (up to ~70% savings) while preserving critical relationships. It also features a LeanMCP-powered hook system that learns from repeated tool calls and auto-recommends/installs appropriate MCP tools.

2nd Place: neoCortex

Built by Rusheel Sharma and his team

neoCortex is a powerful semantic code retrieval engine for GitHub repositories. It builds a bidirectional dependency graph using Tree-sitter, combines OpenAI embeddings with keyword and graph traversal for hybrid search, and intelligently compresses results to fit within token budgets (achieving 85%+ token savings on average). Fully exposed as a LeanMCP server, it includes tools like search_code, resolve_symbol, and classify_query - making it a seamless companion for any MCP-enabled AI coding assistant.
Link: https://github.com/rusheelsharma/neocortex

3rd Place:Checkr

Built by @jacobmazelin
Checkr is an empathetic, agentic AI mental health companion built with LiveKit agentic workflows and LeanMCP for shared context across text and voice. It handles proactive onboarding, real-time therapist/resource discovery, automated scheduling with calendar integration, and seamless handoff to human therapists - all while maintaining emotional intelligence and user context across modalities.

Final Thoughts

These winners beautifully illustrate the versatility of LeanMCP: from dramatically improving token efficiency and context quality in code intelligence tools, to enabling sophisticated, cross-modal agentic applications in mental health support.

A huge congratulations to these teams!

Links:
WashedMCP -> https://devpost.com/software/washedmcp neoCortex -> https://devpost.com/software/neocortex Checkr -> https://devpost.com/software/checkr-esikfo