Zain Ahmed Khan
Backend Infrastructure
Second-year CS undergraduate at LUMS with extensive self-taught experience in enterprise backend systems, distributed architecture, and ML infrastructure. Focused on systems optimization, high-performance API design, and automated verification pipelines.
Selected Work (14 projects)
Vergate
All-in-One Security, Performance & SEO Platform
Vergate is an all-in-one developer and SaaS platform providing security scanning, performance analysis, SEO/AEO optimization, accessibility audits, and uptime monitoring. Passive security scans complete in under 5 seconds, and a built-in MCP integration exposes 17 tools to AI coding assistants — all in one dashboard.
NockIt
Open-Source MCP Server for Push Notifications
An open-source, local-first MCP server that gives autonomous AI coding agents real-time push notification capabilities directly to a developer's mobile device. Solves the workflow bottleneck of monitoring agents like Claude Desktop, Cursor, or OpenCode during long-running tasks by letting them autonomously ping your phone via ntfy.sh when they finish, hit an unrecoverable error, or need human input. Engineered as a TypeScript/FastMCP package with zero external dependencies using JSON-RPC over stdio transport, plus a zero-config interactive setup CLI (npx nockit setup).
Overleaf MCP
MCP Server for LaTeX Paper Management
Built an MCP (Model Context Protocol) server that enables LLM agents like Claude Code to read and update Overleaf LaTeX papers via git. Exposes tools for reading/writing paper content and bibliographies with automatic LaTeX compilation, git commit, and push workflows.
JottedNotes
Note-Taking Application
Developed and deployed a fully static, client-side offline note-taking application. Implemented local data persistence entirely browser-side using IndexedDB, inspired by Excalidraw's local-first architecture. Packaged as an installable PWA and deployed via GitHub Pages.
MakeItDone
Stateless Image Processing Suite
Built a stateless REST API containerized with Docker to handle heavy image compression workflows and multi-format processing (JPEG/PNG). Designed low-latency REST endpoints for file transformations. Shipped a polished production frontend built with React and TypeScript.
Formulator
Mobile Calculation Engine
Solo-building a mobile application automating complex unit conversions, currency exchanges, and dimensional analysis nuances. Engineered and open-sourced the core v1.0 calculation engine. Actively scaling live currency-exchange synchronization APIs.