स्वागतम् Welcome

Madhav Krishna

Software engineer. AI systems, full-stack and developer tools.

I build software that checks its own work. The model proposes, and something deterministic verifies before anyone sees the result.

Currently: building Cirqle, an AI CFO, at Upcheck →

About

I build production AI systems, developer tools and full-stack SaaS. I'm currently at Upcheck, working across Python and FastAPI, React and TypeScript, Rust, and PostgreSQL. The work covers tool-using LLM agents, document intelligence, evaluation pipelines, multi-tenant workflows and compliance automation.

Most of what I ship has the same shape: an LLM drafts, and a deterministic check verifies the draft against a source of truth. That source might be statutory rules, a cited PDF, an observed screen state or a closed trade.

I'm studying Computer Science at Sri Venkateswara College of Engineering (class of 2028) and I'm a core member of the Entrepreneurship Cell.

Work

Aug 2026 —
present

Upcheck · Cirqle

Software Engineering Intern · Winterlabs product studio

Cirqle is an AI CFO and accounting platform. Founders upload bank statements, bills and payroll to get GST, TDS and tax figures ready to file. Their chartered accountant works across every client from one workspace.

  • LLM runtimeBuilt Cirqle's core tool-using LLM runtime in Python/FastAPI: streaming, tool orchestration, execution limits, cost metering, prompt-injection defences and automated evaluations.
  • Rust verification layerIntegrated a deterministic Rust layer that recalculates every financial output against cited statutory rules before users see it.
  • Product UIBuilt the React 19 / TypeScript UI: founder briefings, evidence-linked review flows, records, onboarding and settings, with Playwright end-to-end coverage.
  • Multi-tenant workflows and document intakeFounder-to-CA workflows isolated by PostgreSQL row-level security. Ingestion for PDFs, scanned bills and GST invoices, with structured-extraction benchmarks.
  • Indian complianceTested workflows for GST/IMS, company tax and MAT, ESOP vesting, NPS, salary arrears and DPDP-compliant deletion. Major work shipped as 7 stacked PRs behind a full CI gate.
CirqleScreenshot coming soon

Layered systemsBuilt

0 bytesof audio leave the machine

Muesli Windows

C# · WinUI 3 · .NET 10 · WASAPI · sherpa-onnx · llama.cpp

An offline-first Windows app for dictation and meeting transcription. Push to talk into any app, or record calls and get searchable transcripts.

Per-process call loopback, speaker diarization, on-device transcript cleanup, MSIX packaging, and release qualification across 7 pinned speech models.

Muesli WindowsScreenshot coming soon
1 quotebehind every sentence

Anchorline

Python · FastAPI · Ollama · SQLite

An evidence-grounded medical answer engine. Every generated sentence must map to an exact source quote and page, or it is withheld.

Deterministic quote and number checks, dual-model judging, reviewer approval and a tamper-evident audit chain.

0 stalepasses reused

Review Workspace

TypeScript · Node.js 24 · React · SQLite

A control plane for parallel coding agents. It watches Git worktrees and Codex / Claude Code sessions, and ranks branches by concrete review signals.

Approved checks are pinned to the exact diff fingerprint, so a stale pass can't be reused.

Review WorkspaceScreenshot coming soon
470tests behind the gate

CompuseAgent Native

C# · .NET 10 · Protobuf · Windows UI Automation

A Windows automation runtime that treats OS success codes as hints and verifies real-world effects independently.

IFileOperation and FlaUI backends, supervised MCP control, typed Protobuf contracts and deterministic deadlines across a 24-project solution.

CompuseAgent NativeScreenshot coming soon
37,095messages scored

Signal Accountability Lab

Python · SQLAlchemy · pandas · Streamlit

Tests whether Indian stock-tip channels actually beat chance, so traders can judge sources on evidence.

Parsed messages from 39 Telegram sources into 4,234 stock calls and evaluated them without look-ahead bias against randomized same-date trades. Result: −0.14% excess performance, with a 95% CI crossing zero.

Signal Accountability LabScreenshot coming soon
Open sourcecontribution

Open Agents

TypeScript · Next.js · E2B

A fork of Vercel's open-source background coding agent. I added an OpenAI-compatible model provider, GitHub sign-in and a deny-by-default E2B sandbox runtime.

DevIQFastAPI · ReactA staged developer platform with guided local setup.
Habit GardenJava · AndroidA habit tracker where every streak grows a potted plant.
RekallKotlin · ComposeAn Android app built with Jetpack Compose and Room.
Shorts EditorFFmpegTurns a livestream segment into a vertical short, styled after a reference clip.
Living NotesThree.jsEach note becomes a small 3D character floating across a foggy meadow.

The stackSkills

Languages
Python, TypeScript, C#, Rust, SQL, Java, Kotlin, HTML/CSS
Frameworks
FastAPI, React 19, Next.js, Vite, Node.js, .NET 10 / WinUI 3, SQLAlchemy, Android / Room
AI & LLM
Tool-using agents, LLM evaluation, Anthropic and OpenAI APIs, Ollama, sherpa-onnx, Whisper, llama.cpp
Infra
PostgreSQL / RLS, Supabase, Docker, GitHub Actions, Playwright, pytest, Protobuf, Windows UI Automation

Contact

Building something that has to be right? Let's talk.

Photos via Wikimedia Commons, converted to B&W and cropped: Chand Baori by Gerd Eichmann, CC BY 4.0 · Surya Kund by MakSwap, CC0 · Meenakshi gopuram by Avinashadityas, CC BY-SA 4.0.

Set in Instrument Serif, Inter Tight, Geist Mono and Tiro Devanagari Sanskrit. © 2026 Madhav Krishna · Chennai · Last updated 7 Oct 2026