Skip to content
View Hyeon-PR's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Block or report Hyeon-PR

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. Markdown is supported. 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
Hyeon-PR/README.md

HyeonJun Lee

AI Product Engineer — LLM serving & agent pipelines in production

Co-founder & Tech Lead @ Tecketing · CS @ DGIST (on leave)

I build the systems around LLMs — gates, validators, routing, observability —
so the product doesn't depend on the model behaving.

Email LinkedIn Blog


🔍 Now building — Sleuth

An AI mystery game where players interrogate AI suspects to solve crime-scene cases. Live on iOS and Android since June 2026. I own the backend: LLM serving, an agent-driven content pipeline (one session taking designer, writer, and reviewer roles in turn), and payments.

App Store Google Play

755 37m 38s +52%
active users, last 90 days avg. engagement per user weekly actives, week over week
(156 → 237 during our Wadiz campaign)

GA4, as of Sep 26, 2026


🧭 How I build with LLMs

Constrain agents with code, not prompts. Our authoring agents started approving their own checkpoints. Now checkpoint transitions go through a deterministic gate that re-runs the validator itself instead of trusting the agent's report. → write-up

Decide with production data. A 50/50 production A/B test rejected a model swap that looked right on paper (p95 1.5 s → 4.5 s, +57% cost per call). The same test showed our cross-model fallback recovering 82 of 83 paid requests during a provider outage.

Make money paths exactly-once. Idempotency keys plus Firestore transactions: zero double charges across 60 runs of 20 concurrent same-user S-coin spend requests (test env). Requests that can never succeed are quarantined instead of retried forever. → write-up

Tie cost to the right variable. Designed the notification inbox so cost grows with active users, not with subscriber count. → write-up


🏢 Beyond code

Co-founded Tecketing in 2024 and ran it as CEO until 2026, then moved to Tech Lead. 6 startup competition awards · KOCCA commercialization program · GSIA 2026 Seattle global program · 61 straight weekly sprints


🛠️ Stack

Python FastAPI TypeScript Node.js Vertex AI OpenAI Claude Code Cloud Run Firestore BigQuery Flutter


✍️ Featured Writing (in Korean)

More — earlier projects & problem solving
  • OctaFlip — real-time 2-player board game server in C over TCP sockets with a JSON protocol
  • Autonomous-driving research — CARLA simulation, lane tracing, Jetson / F1TENTH (Learning_AD)
  • 3D motion automation (with © BLUE BONFIRE) — Python pipeline for lip-sync retargeting in Cinema 4D

Solved.ac Profile


Latest Blog Posts

Pinned Loading

  1. recording_study recording_study Public

    This repository is a study record of computer-related subjects studied at DGIST.

    Jupyter Notebook 1

  2. Coding-problem Coding-problem Public

    Algorithm and data structure solutions in C++ and Python (Baekjoon, LeetCode, Programmers, Codeforces). One commit per problem, with the key idea in the message.

    C++