About
I finished my BCA at Maharishi Markandeshwar (Deemed to be University) in Mullana, Ambala in 2024. Before that I studied at Jawahar Navodaya Vidyalaya in Darbhanga, Bihar.
Right now I spend most of my time building my own SaaS under the name DevPilotX. I like owning the whole thing: writing the app, designing the database, and running it myself on AWS EC2 and Oracle Cloud machines with Docker. A few of those projects are below, and everything else is on my GitHub.
Work Experience
Skills
What I'm building
These are the four projects I've put the most work into: a trading system, an inspection tool for packaged goods, a personal finance site and a compliance platform for AI.
Inspection recording for packaged goods under India's Legal Metrology rules. Inspectors photograph a label, OCR pulls out the declared fields, a versioned rule engine checks them, and every decision lands in a tamper-evident audit trail.
I like building things
Besides the projects above, here are 10 more things I have built and put on GitHub. Some are experiments, some are tools I needed myself, and a few are full products.
Agent Skills
Markdown, Python
58 skills for AI coding agents, each scored against a rubric. Several ship with working Python tools, like a detector for machine-written prose and a Markdown structure linter.
Auspice
Python, FastAPI, PostGIS, NumPyro, XGBoost, Next.js
Estimates how likely a project is to get permitted at a given location, and roughly how long it will take. Every prediction goes into an append-only ledger so the accuracy record is public. When the data is too thin, it says so instead of guessing.
FerroDB
Rust, Cargo
A small SQL database written from scratch in Rust with no outside dependencies. It has a file-backed pager, a B+Tree, its own SQL tokenizer and parser, an executor and transactions.
Notion Agent
Next.js, NestJS, Vercel AI SDK, PostgreSQL, MCP
A self-hosted workbench for AI agents. Bring your own model keys, connect tools over MCP, search your documents with RAG, and watch each step of a run in a streaming chat.
Vouch Backend
Go, PostgreSQL, Firebase
The relay service behind Vouch, an app for confirming someone's identity phone to phone. It handles OTP login, device pairing and the verify round trip using only Go's standard library.
TenderEdge
Node.js, TypeScript, PostgreSQL, Redis, WebSockets
Multi-tenant B2B SaaS for finding and winning industrial tenders. It scores how well a tender fits your company, predicts a sensible bid price, and tracks deadlines and documents on a live dashboard.
ProofSmith
Lean 4, mathlib, Solidity, Foundry
Formal verification work in Lean 4. The main branch is a machine-checked proof that reduces the Erdős-Straus conjecture to one remaining family of primes. Other branches hold smart contract audits.
Bank Legacy
Java 21, Spring Boot, PostgreSQL, React
A COBOL modernization tool for small banks. It explains COBOL programs, maps their dependencies, rewrites them in Java and checks the result against GnuCOBOL.
Minecraft Server Panel
Next.js, TypeScript, xterm.js, Monaco
A self-hosted control panel for a Minecraft server, with a live console, RCON, a file editor, scheduled tasks and player management.
Get in Touch
Have a project in mind, a job opening, or just want to talk about something you are building? Email me at connect.dipanshukumar@gmail.com or send me a message on LinkedIn or X.