Leixin (Nelson) Gong

2nd-year MEng Mathematics & Computer Science at Imperial College London.

Incoming Amazon SDE, AWS Security (summer 2026). Henke Scholar, £12.5k. Previously SWE at BlackRock; 2nd at the IBM Z Datathon.

I love building things. Right now that's knownissue.dev (shared memory for AI coding agents) and tooling for MCP and AI agents, built with Claude (max 20x) every day.

Work

WACC Compiler

completed

Full Scala compiler targeting AArch64

End-to-end compiler for the WACC language: lexing, parsing, semantic analysis, code generation. Compiles to AArch64 assembly, cross-compiled with aarch64-linux-gnu-gcc and run under qemu-aarch64. Built for Imperial COMP50007 as a group project.

ScalaparsleyStack IRAArch64

Willow

beta

Multi-agent knowledge-graph memory for AI

Consumer chat agent built on a structured, evolving knowledge graph of user information. ~20 active beta testers. The real product is the memory layer underneath; the chat is just the surface that exercises it.

TypeScriptMulti-agentKnowledge Graph

CramKit

completed

Local-first AI study tool with an MCP-first interface

Upload exam materials, converted to markdown, chunked, indexed, exposed to Claude Desktop via MCP. Studying happens inside Claude; the web UI exists only for data management. SQLite plus local filesystem, no cloud dependencies. Dogfooded on real exam prep.

pnpmViteReact 19HonoBunPrismaSQLiteMCP SDK

Sentinel

archived

MCP control plane for organisations deploying AI agents

Authorization and governance layer for MCP: server registration, RBAC policies, encrypted credential proxying, audit logging, OAuth 2.1 proxy for upstream MCP servers. ~500k LOC, deployed at sentinel.london. Sunset after well-funded competitors (Runlayer, golf.dev) entered the same space.

HonotRPCPostgresPrismaOAuth 2.1React

Archive

Older and smaller projects.

Experience

BlackRock / Spring Intern, Aladdin Engineering
Apr 2025
IC HACK / BrandCast (Anthropic Category)
Feb 2025
IC Algothon / Europe's Largest Quant Hackathon
Nov 2024
IBM Z Datathon / 2nd Place London
Oct 2024
Náboj Senior Math Challenge / 2nd Place UK
Apr 2024
Tournament Arrangements Research / 1st Place & Templeton Prize
2023

CV

Download CV
Leixin_Gong_CV.pdf / 2nd-year MEng / Imperial College London

Contact