Skip to content
View Dishah3241's full-sized avatar
1 follower · 1 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLO

Block or report Dishah3241

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Dishah3241/README.md

Dishant Shah

Software Engineer building agentic evaluation pipelines and AI platform tooling — eval harnesses, MCP tooling, observability for headless coding agents, and local model-based apps for specialized fields.

Currently targeting Senior Software Engineer — Agentic / AI Platform / Evals & Tooling roles in the Bay Area.

Flagship work

  • agent-stream — readable live terminal output for headless coding agents (Claude, Codex, Cursor, Grok): renders event streams, narrates plan/step state, and leaves a complete on-disk record (state.json + raw events) for every run.
  • Agentic evals at work — evaluation pipelines adopted across multiple engineering teams; harness design, rubric/eval design, and tooling walkthroughs. A public, sanitized showcase is in progress.
  • GraphDimension — Lean 4 library for the Erdős–Harary–Tutte graph-dimension ladder, with machine-checked proofs of Erdős problem 1007 and the Frankl–Kupavskii–Swanepoel edge-threshold results (see the proof repos below).

Formal verification (Lean 4 / Mathlib)

Machine-checked proofs, no sorry: Erdos1007 · Erdos1007Dim5 · FKSEdgeThreshold · FKSProblem1 · FKSProblem2 · EdgeThresholdUniqueness

Background

Biomedical engineering + software. Earlier research in the Jun Lab (UAB): 3 co-authored publications, first author in J Clin Med (2020).

Links

Pinned Loading

  1. resume resume Public

    Resume of Dishant Shah — Software Engineer, agentic evaluation pipelines, AI platform & evals tooling

    HTML 1

  2. agent-stream agent-stream Public

    Readable live terminal output for headless coding agents: render, style, and capture Claude, Pi, Cursor, and Grok event streams

    Shell

  3. GraphDimension GraphDimension Public

    Lean 4 library: unit-distance representations and the Erdős–Harary–Tutte graph dimension

    Lean 1