pranay mundra

~/projects

Systems I've built — fault injection, schema safety, MCP servers, and one rate limiter with a grudge.

faults-lab

atropos · zeus · manteion — the Fate who cuts the thread, the lightning-thrower, and the oracle

A fault-injection research platform — inject faults at service boundaries, isolate each service's contribution to tail latency under concurrent load.

  • SDK-level injection at HTTP middleware & gRPC interceptor boundaries
  • cache-box primitive freezes services into cached-response replay
  • W3C Baggage propagation for end-to-end trace correlation
GoOpenTelemetrygRPCKubernetes github ↗

global upgrade safety & MSS

Static analysis that decides whether simultaneous schema changes across a microservice mesh can co-deploy safely — and computes the maximal safe subset when they can't.

  • MSS computed in linear time — reduction to MAX-TRUE Horn-SAT
  • four-schema edge model (Send/Accept/Return/Expect)
  • catches multi-hop integrity violations invisible to pairwise tools (Buf, Pact)
GoOpenAPIProtobuf github ↗

slug-mcp

An MCP server for banana slugs — UCSC campus services and Santa Cruz environmental telemetry as structured tool calls for LLMs.

  • campus — dining & nutrition, live gym occupancy, study rooms, class search with enrollment, transit predictions
  • county — surf & wave buoys, tides, air quality, wildfire detections, harmful-algal-bloom risk, upwelling indices
  • stdio & SSE transports, served to real users at UCSC

add the connector → https://2262-cse115b-02.be.ucsc.edu/mcp

RustrmcpMoka cache github ↗

chatcut 3.0

Natural-language video editing on real footage — a Premiere Pro plugin and a standalone desktop editor sharing one AI backend. Vibe editing, not AI-generated video.

  • two front ends — an Adobe Premiere Pro UXP panel and a standalone Tauri + Next.js desktop/browser editor
  • one shared FastAPI backend — AI providers (Gemini, Groq), video processing, Redis-backed caching
  • Rust native layer (Tauri) for FFmpeg and OS integration; successor to the CSE115C ChatCut 2.0 team project
PythonFastAPITypeScriptReact github ↗

nogo

A lightweight, rules-driven rate limiter — the open-source descendant of the notification gate I built at MakeMyTrip.

  • rules engine decides per-message, per-channel whether a notification deserves to exist
  • lineage — the MakeMyTrip limiter governing SMS/WhatsApp/email at OTA scale
esc
↑↓ navigate · ↵ open agents: llms.txt