work

Swift · SwiftUI · CoreData · OpenAI API · iPad

AI-native study workspace for iPad — on-device ML, Apple Pencil workflows, adaptive layout. Currently in active development.

React.js · Node.js · WebSockets · MongoDB · Swift · Claude · Cloudflare

AI coding assistant Mac overlay — ScreenCaptureKit, AssemblyAI, ElevenLabs TTS, annotation pins.

Python · Lean 4 · Mathlib · LLM Pipeline · Groq API

Plain-English math → Lean 4 theorem + tactic proof that compiles against Mathlib. Formalise, sketch, synthesise, then repair against real compiler errors; only lake-verified proofs count.

Python · FastAPI · LangChain Adapters · Pytest

Automated red team for tool-using AI agents — 7 exploit classes, 35 attack templates, and a FastAPI dashboard that maps the dangerous path from prompt → tool → side effect, then auto-fixes and re-verifies.

ESP32 · FreeRTOS · Python · REST API · Custom PCB

Real-time environmental safety system — 5-sensor fusion, EMA false-positive hardening. Top 125 at Google Solution Challenge 2026 (6,700+ prototypes).

React.js · Node.js · AI Models · Full-Stack

AI healthcare app for cancer patients, informed by doctor interviews at AMU Medical College. Google Winter of Code — 3rd Place.

Go · Standard Library Only · CLI · SARIF · TLS

Zero-dependency network security assessment tool — port scanning, TLS inspection, DNS recon, risk scoring, and attack-surface analysis, built entirely on the Go standard library. The binary can prove the claim about itself.

Python · PyTorch · MCTS · Self-Play RL

From-scratch reimplementation of AlphaGo Zero — Monte Carlo tree search, policy-value network, self-play training loop with no human game data.

Python · PyTorch · Reinforcement Learning · Gym

Proximal Policy Optimization implemented from the original Schulman et al. paper — clipped surrogate objective, GAE, and reproducible benchmark runs.

Python · CLI · OpenAI API · AI Agents

AI terminal co-pilot — plan, build, review, fix, deploy from command line. Entire AI dev team from your terminal.

C · Assembly · Bootloader · Systems Programming

Custom OS from scratch — bootloader, kernel, memory management, syscalls. Deep systems work from first principles.

React · Supabase · Full-Stack

Centralised data management platform for AMU students. 2nd Place @ AMU Hackathon (₹5,000).

Unity · C# · 3D Game Development

Single-player 3D horror game — immersive environments, atmospheric audio, tension-driven mechanics. 1st Place @ IEEE Game Jam (₹3,000).