LeanMCP: Run AI Agents in Production. Own Your Stack
Open-Source Agent Runtime. Production-Grade Governance. Zero Vendor Lock-in
Feb 19, 20264 min read14
Command Palette
Search for a command to run...
Latest articles
Checkr: Realtime, Multi-Agent Mental Health Companion with Multi-Source Context Aggregation
Checkr 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, 20262 min read21Neocortex: Token-Budgeted Semantic Code Retrieval MCP Server
Built 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, 20262 min read19WashedMCP: One-Query Token-Efficient Semantic Code Search with Tool-Call Automation
With 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, 20263 min read31NexHack & 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-effic...
Feb 2, 20262 min read29
The Uneven Rise of AI: From Silicon Valley Illusions to Global Divisions and Human-AI Struggles
After reading OpenAI 2025 State of Enterprise AI report and OpenRouter 2025 State of AI Report. I Find some interesting things ☕️
Dec 18, 20253 min read12
TypeScript SDK for Building MCP Servers with type-safe decorators and streamable HTTP support
In 2025, the Model Context Protocol (MCP) has matured as the open standard for connecting AI agents to external tools, prompts, and resources - backed by the Agentic AI Foundation (under Linux Foundation) since its donation by Anthropic and OpenAI. W...
Dec 16, 20255 min read19