TPMN Checker is in pre-GA. Features and pricing may change before General Availability.

GEM Squared, Inc. · CEO

David Seo

Complex AI systems, built on contracts.

AI systems architect — designing complex AI systems on a contract basis, making every output verifiable and auditable. Not a feature implementer. I define protocols, architecture, microservice boundaries, and verification rules, then carry them end-to-end from implementation to operations. Validated across 29 projects.

Skills

Design it. Then build it myself.

I'm not someone who just plans or explains AI systems — I'm an AI System Architect who personally handles architecture design, code implementation, deployment, and operations. My particular strength is connecting AI output verification, contract-based execution structures, agent workflows, enterprise BI, blockchain, databases, and full-stack product delivery into a single coherent system.

AI System Architect

AI Governance / Verification Architecture

I design and implement verification layers that check AI outputs against source material, execution contracts, and governance rules — identifying ungrounded claims, overstatements, and omissions. Delivered TPMN Checker, contract-bounded AI systems, AI agent audit systems, and social-media manipulation audit systems.

Formal Spec · Contract-Based Design

Rather than relying on prompts, I design structures that define and verify AI execution at the contract level. Methods like F:A→B|P contract models, TPMN-PSL, EEF/SPT, 5W grounding, dual-gate verification, and evidence-based completion are built directly into my products and code.

AI Agent / Workflow Systems

I design and implement AI agent execution structures: LLM router, policy gate, vector RAG memory, workflow FSM, MCP tool boundary, WebSocket relay, and headless agent orchestration. Also personally built voice-controlled desktop automation agents, CV+multimodal LLM RPA, and real-time voice interfaces.

RAG / Semantic Search / BI

Designed NER → vector search → SQL template pipelines, knowledge-graph-based semantic search, natural-language → SQL conversational BI, and hybrid search SQL generation engines. Practical experience in finance and logistics domain BI and data analysis systems.

Microservices · Distributed Systems

Design WebSocket relay, orchestrator + adapter structures, workflow engines, and event-driven microservice architectures. Personally implement AI-driven microservices, audit pipelines, real-time trace systems, and cloud deployments end-to-end.

Tech Stack

Core Engineering

Go · Python · TypeScript as primary stack. Personally implement full-stack products on React/Next.js · FastAPI · Express · NestJS · Flutter · Chrome Extension · PWA. Experience designing and building systems on REST · WebSocket · gRPC · MCP · OAuth 2.1+PKCE.

LLM / Agent / DevOps

Work with Claude · OpenAI · Gemini · DeepSeek · Ollama-based LLM systems. Experience operating MCP server development and deployment, Docker, Fly.io, GCP Cloud Run, Cloudflare, Vultr VPS, BullMQ, and RabbitMQ.

ML / CV / OCR

Use PyTorch · OpenCV · PaddleOCR · YOLOv8. Experience in architectural drawing CV recognition, document OCR/layout analysis, Korean NLP (KcBERT/KLUE), sentence embeddings, Whisper ASR, and AlphaZero reinforcement learning built from scratch.

Database / Blockchain

Work with PostgreSQL · MySQL · SQLite · TimescaleDB · Redis · MongoDB · MinIO. Design vector DB-based search structures using pgvector · Weaviate · FAISS · Milvus. Experience implementing blockchain systems on Solidity · Ethereum · DID/VC · x402 payment protocol.

Languages: Korean (Native) · English (business communication; comfortable in global collaboration)

Recent Projects

Concept, architecture, implementation — all personally executed.

Not just ideas — working software and live demos, delivered solo. Average contribution (including hackathons): concept 100% · implementation 90%+ · pitching & documentation 100%

VOUCH — Pre-Call Identity Verification System

Completed
Period
May – Jun 2026
Client
GEM Squared, Inc.
Contribution
100%

Blockchain backend · front-end UX

VOUCH is a Pre-Call Identity Verification protocol and demo implementation that verifies the caller's identity, authorization, and call intent before the call connects. Current anti-voice-phishing approaches intervene only after the call is established. VOUCH flips this: financial institutions, public agencies, and AI call agents submit a signed CallerProof before dialing, and the recipient can verify 'who is calling, under what authority, and why' through a VOUCH Passport — before picking up.

I personally handled the full product concept, protocol design, architecture, Go backend, React/TypeScript PWA frontend, Solidity smart contract, DID/VC verification flow, risk rule checker, and Claude Haiku-based Intent Handshake integration.

Core achievement: a working MVP of a 9-step verification pipeline. The flow runs end-to-end: receive Ed25519-signed CallerProof → verify phone-to-institution DID binding → DID/VC validation → AI agent intent & authority check → risk pattern rule check → LLM-based call intent pre-disclosure → recipient Mobile ID verification → VOUCH Passport issuance → Sepolia testnet Chain Receipt. Deployed Sepolia contract at 0x70fc086A3f4e91dA3f7e3Aeb4D2C806DdF3dED04. Live LLM: claude-haiku-4-5-20251001 (BYO).

Three scenarios verified with real branching results: legitimate bank AI agent → SAFE; unregistered impersonator (fake prosecutor) → BLOCK; financial security AI operating outside its authorization scope → BLOCK. Zero PII on-chain: only sessionHash, receiptHash, isSafe, policyVersion, and timestamp are stored on the blockchain.

AI/CV Architectural Drawing Analysis System (Reliability Analysis)

Completed
Period
Jun 2026
Client
GEM Squared, Inc.
Contribution
100%

AI/CV architectural drawing analysis — full stack (OpenCV · OCR · validation · UI · DB · deployment)

CAD Trust Engine Lite analyzes PNG/PDF/JPG architectural drawings to detect wall, door, window, and space candidates, converting the results into a trust surface connectable to quantity takeoff systems. The goal is not to maximize object detections, but to clearly separate what each judgment is grounded on, how far it can be trusted, and what regions still require human review.

I built the full stack personally: product concept, architecture design, Python-based CV/OCR pipeline, Pydantic output contracts, Streamlit review UI, SQLite Audit DB, and Docker/VPS deployment. The core pipeline is 5 stages: Ingest → Geometry → OCR → Symbol → Compose+Aggregate. OpenCV Canny, HoughLinesP, HoughCircles, and contour analysis detect line/wall/door/window candidates; PaddleOCR (ko/en) with a regex classifier extracts room names, dimension text, and label candidates. Final output is a per-field epistemic JSON with independent EEF tags for each of type, geometry, and measurement.

Key design principles: Measurement Policy and Refusal Over Bluff. A Pydantic model_validator enforces that mm-level measurements are not emitted without a trusted scale anchor. Low-evidence regions are reported as explicit refusals, not low-confidence results. Built a corpus of 50 drawings under open licenses (12 synthetic + 38 Wikimedia), with provenance and SHA-256 on every sample. Tests grew from 53 to 148 with no regressions. Complex drawings yielded 20,000+ candidate objects alongside refusal and review routing results.

SQLite Audit DB records run, stage event, refusal, policy fire, and epistemic distribution — tracking error and refusal patterns over time, not just single-run results. Live deployment completed on Docker + Caddy + Vultr.

LedgerLens — AI Agent Payment Verification & Trust Gate System

HackathonCompleted
Period
May 2026
Client
Lablab.ai
Contribution
100%
Event
Bright Data AI Agents Web Data Hackathon

AI agent payment verification — full stack (Go · Next.js · Bright Data · x402)

LedgerLens implements a core principle for autonomous AI agent data transactions: no payment is authorized for an ungrounded claim. When a Buyer Agent requests real-time web data and a Seller Agent claims to have it, LedgerLens collects web evidence via Bright Data, verifies the claim through the GEM² Trust Gate, and only then proceeds with the x402-compatible payment flow.

I handled the complete implementation: product concept, architecture, Go backend, Next.js/TypeScript frontend, Bright Data integration, GEM² audit-gate integration, SQLite-based entity/source memory, payment gate, simulated x402 settler, and audit bundle export. Bright Data SERP, Unlocker, Browser, and MCP wrapper collect public web evidence; GEM² L1 P-check and L2 O-check verify whether claims are grounded in that evidence. The L3 Trust Gate synthesizes the final verdict: APPROVED triggers a simulated settlement receipt; BLOCKED stops payment authorization.

Core achievement: a working MVP of trust-gated settlement — verifying an AI agent's claim before payment executes. The full flow is product-shaped: evidence acquisition → claim audit → policy gate → settlement authorization → audit bundle export. The L2 audit panel displays EEF tags, SPT overclaim guards, and evidence correlation, enabling human review of exactly which claims were approved or blocked and why.

For public demo safety, no real accounts, private keys, or funds are connected — the x402 payment lifecycle runs in simulation mode. The core verification structure outside settlement works for real. The Settler interface is decoupled so the Trust Gate architecture survives a future swap to Coinbase Go SDK + Base Sepolia/mainnet settlement.

GEM² — AI Governance at the Edge (Lobster Trap)

HackathonCompleted
Period
May 2026
Client
TechEX / Veea
Contribution
100%
Event
TechEX Hackathon 2026 · Track 1: Agent Security & AI Governance (Powered by Veea)

AI governance — full stack (Go · Gemini · DeepSeek · SQLite · drag-and-drop workflow UI)

GEM² — AI Governance at the Edge is an enterprise AI governance system that forces every agent action through a verifiable contract edge. Every agent transformation is audited before and after execution via a 4-gate pipeline: L0 Lobster Trap ingress DPI → L1 P-check audit → Contract Executor (F) → L2 O-check audit → L3 Lobster Trap egress DPI.

The Lobster Trap layer is a pure-Go regex DPI engine that catches prompt injection, data exfiltration, and credential leaks before the model runs — sub-1ms verdict. Dual-LLM architecture separates the judge (Gemini 3 Flash Preview for L1/L2 audits) from the executor (Vultr DeepSeek-V3.2 for L0/F/L3) — that separation is what makes the verdict trustworthy. Every ALLOW/LOG/DENY verdict across all four gates persists to a SQLite layer_audit_log, producing a regulator-readable evidence trail.

The live demo runs 6 health-insurance claim Contract Edges as a composable DAG workflow, generating 24 gate verdicts in real time. The adversarial demo lets you inject a data-exfil payload at any node and watch L0 fire DENY in under 1ms — directly in the canvas UI.

Full stack personally implemented: Go backend, drag-and-drop workflow canvas, SSE real-time trace panel, audit log query UI, and per-node CE Viewer.

Path

Architect → Founder → AI Governance Builder

Not a chronology — the same problem (system reliability) solved across different eras with different tools.

  1. 2026 – PresentGEM Squared, Inc.Delaware, USA

    CEO & Individual Contributor

    Building and operating TPMN Checker, an AI output verification and governance tool. Replacing the fragile prompt-centric paradigm with a system grounded in verifiable execution contracts, scoring, provenance tracking, and human-in-the-loop review checkpoints. Architecture through implementation and operations — all hands-on.

  2. 2013 – 2022CrowdParti, Ltd.Seoul, Korea

    CEO

    Principal Investigator on a TIPA (Korea Technology and Information Promotion Agency for SMEs) private-investment-led R&D grant — developed a blockchain-based cross-border content exchange platform (total budget ~KRW 500M). Selected as KOTRA 'Creative Startup of the Year' (2015) and KISED 'Promising Startup.' Raised USD 400,000 across two seed rounds and participated in the Denmark-government-sponsored Startup Bootcamp.

  3. 2012 – 2013PwCGangnam, Seoul

    Senior IT Consultant

    Lead Technical Architect on the ThaiLife next-generation ISP (Information Strategy Planning) project.

  4. 2006 – 2010BearingPointGangnam, Seoul

    IT Consultant

    PMO PM on the Solomon Savings Bank next-generation system integration; TA Team Lead and Shared Architecture PM on the NongHyup credit (next-gen banking) system; Team Lead on BearingPoint's global SOA service localization project.

  5. 2001 – 2003KCC IT R&D Internal VentureSeoul

    R&D Team Lead

    Developed a commercial solution (xFrameCMS) on Microsoft C# and delivered SBSi customization. Recognized at the time as one of Korea's first official Microsoft C# development partners.

  6. 2000 – 2001KIDA (Korea Institute for Defense Analyses)Seoul

    Researcher

    TF Lead on the Combat Training Center simulation system development. Contributed to the ammunition information system build-out.

Education: B.S. in Computer Engineering, Incheon National University (1990 – 1994) · ROTC commission

Now

GEM Squared, Inc. — AI Output Verification & Governance

Company

GEM Squared, Inc.

A US Delaware corporation. I founded and operate this startup, which builds the verification layer for AI execution.

Product

TPMN Checker

Compares AI-generated outputs against source materials, task contracts, and governance rules to produce structured audit reports. Identifies unsupported claims and over-extrapolation before they reach production.

Role

CEO & Individual Contributor

I personally execute the full cycle — architecture, implementation, and operations. I am not only a founder, but also the engineer who writes the code and ships the product.

Beyond my own product, I also design and build practical LLM Agent, RAG, and workflow automation systems for teams that need production-oriented AI execution.

Why AI Output Verification?

Unverified AI output is an operational risk.

Next-generation financial systems. Defense simulation. Blockchain platforms. Government-funded R&D. For 20 years I have designed mission-critical domains where verification failures can quickly become operational or business-critical risks.

AI is no exception. If anything, AI produces unverified errors faster and in more plausible-looking forms. Asking the prompt to “please be careful” every time is not engineering.

Without a contract, there is no verification. Without verification, there is no production. The principle is the same whether the system is next-gen banking or AI governance.

TPMN Checker is that principle implemented as a tool for the AI era. The patterns I have seen and lived as an architect are the foundation of what I am building now.

Together

Projects I want to work on.

Project types

  • AI verification systems · governance architecture design & implementation
  • AI system design review · architecture review
  • AI agent · workflow system development
  • Full-stack AI product MVP, solo delivery

Engagement forms

  • Solo delivery — concept to deployment, independently
  • Technical advisor — architecture direction, team review
  • AI startup technical strategy · R&D projects

Contact

Direct

Project · consulting inquiries

Writing

Essays and shorter thoughts

Code & Build

Repositories and project work

For company and product inquiries, see gemsquared.ai.