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-effic...