About · 소개

Background & Founder — 현장에서 출발한 검증

01LED 제조 R&D
LED manufacturing R&D
02해외 완성차 생산라인 전수검사
Overseas auto line · full-lot QA
03ERP·물류·콜센터 CS
ERP · logistics · call-center CS
04현대·기아 산업기능요원
Hyundai·Kia · industrial technical personnel
05독립 개발
Independent dev
062 patents · LKML · OSS

Across every floor — domestic and overseas, from R&D through quality, logistics, and customer support — the same problem kept surfacing: how do you trust the result of an execution? Scalar is the answer, built from that floor up. 국내 LED 제조 R&D부터 해외 완성차 생산라인 품질 전수검사, ERP·물류·콜센터 CS, 현대·기아 산업기능요원까지 — 전 공정에서 반복적으로 만난 단 하나의 질문: 실행 결과를 어떻게 신뢰하는가. 스칼라는 그 현장에서 출발한 답이다.

Seung-hyeon Lee
Founder, SCALAR — incorporation in progress · 법인 설립 진행 중

Orchestration, finance, copyright, kernel verification — every project answers one question: can you trust the result of an execution? Verify before you trust. 오케스트레이션·금융·저작권·커널 검증 — 모든 프로젝트가 답하는 하나의 질문: 실행 결과를 신뢰할 수 있는가. 신뢰하기 전에 검증한다.

Why Verification — 자본이 움직이는 방향

Enterprises don't stall on AI because the models are weak. They stall because no one can prove what an action did — so every AI action carries a trust cost: human review, audit, rollback, liability. Verification removes that cost. The spend is moving from "a better model" to "an action you can prove." AI 도입이 막히는 건 모델이 약해서가 아니라 "무엇을 실행했는지 증명할 수 없어서"다 — 검토·감사·롤백·책임이라는 신뢰비용. 검증은 그 비용을 제거한다. 자본은 "더 좋은 모델"에서 "증명 가능한 실행"으로 이동 중.

"Agents don't fail in production because the model is wrong. They fail because nobody can prove [that an agent] can perform that action on that resource." — Alex Salazar, Arcade.dev CEO · $60M Series A announcement, 2026
L1 Orchestration LangChain · CrewAI connect models & tools → complement
L2 Guardrails Guardrails AI · NeMo output format / schema check → adjacent
L3 Deterministic execution SCALAR MTP-L2 · PromptPort · Lean-Agent prove constraints before run · reproduce · audit → SCALAR · patents filed ×2

Scalar combines a deterministic L3 execution guarantee with multimodel routing — two patent applications filed (KR), the same methodology submitted to the Linux kernel. Honest weakness, stated up front: as a new entrant, ecosystem and mindshare are early-stage. Scalar는 결정론적 L3 실행 보장과 멀티모델 라우팅을 결합합니다 — 특허출원 2건(KR), 같은 방법론을 Linux 커널에도 제출했습니다. 정직하게 밝히는 약점: 신규 진입자로서 생태계와 마인드셰어는 아직 초기 단계입니다.

Market context: AI orchestration $13.99B (2026) → $60.34B (2034) — Fortune Business Insights · agentic orchestration $6.3B → $46.8B by 2036Fact.MR

Trajectory · 현황

MONTH 2

Multi-LLM production system

FastAPI · pm2 · Tailscale VPN · autonomous trading agents
First live deployment on Hetzner infrastructure

MONTH 4 — CRITICAL MILESTONE

LKML BPF DAG Verifier RFC

RFC submitted on BPF DAG verifier pruning via transfer functions.
Connected approach to PCC (Necula 1997).

ReviewerAlexei Starovoitov
RoleBPF subsystem maintainer · Meta
Reply time17 hours
Pathwaymerge_verifier_state() confirmed

MONTH 6

7-project portfolio · Patent applications filed

24/7 live infra · Two patent applications filed (KR) — Routing · Execution

MONTH 7 — SCALAR Atelier RC

SCALAR Atelier — Release Candidate

notarized macOS build · Kani-proven routing · 700+ tests · atelier.scalar-inc.com

Contact · 연락