formin

Gyeongmin Kim

Software engineer, applied AI practitioner, technical educator, and author focused on building measurable, production-oriented software systems.

Professional Profile

Bookmark Manager — A privacy-focused Chrome extension that organizes bookmarks by visit frequency, identifies duplicate and low-use items, supports non-destructive archiving and restoration, and exports standard HTML backups. All analysis stays on the user’s device.

Books

Five books are currently live on Amazon as both Kindle eBooks and paperbacks:

  1. Spec-Driven AI Development with GitHub Spec Kit and Token Economy: From Vibe Coding to Measured, Testable, Agentic Software Delivery — Kindle eBook · Paperback
  2. Spec-Driven Development with GitHub Spec Kit and Task Master: A Hands-On Guide to Planning, Decomposing, and Shipping Software with AI Coding Agents — Kindle eBook · Paperback
  3. Spec-Driven Android Game Development: Building and Shipping Stick Arena with GitHub Spec Kit — Kindle eBook · Paperback
  4. The Specification Shift: A Workplace Novel About Turning Vibe Coding into Software That Holds — Kindle eBook · Paperback
  5. Spec-Driven Development with GitHub Spec Kit: The Complete Guide to Building Reliable Software with AI Coding Agents: Specs, Extensions, Task Master, Production Workflows, and a Shipped Android Game — Kindle eBook · Paperback

Patent Applications

Three Korean patent applications are pending (as of September 25, 2026):

Research Manuscripts

These are accepted-manuscript workflow statuses and are not presented here as published journal articles.

Evidence and Source Dashboards

The following account-based source pages were used to verify the publication and application status above. They may require authorized access:

Verified Credentials

ORCID

✒️ GitHub

📝 Blogs

Technologies & Tools

This section uses native GitHub Markdown only, with no externally hosted badges or images.