HubDev AI — Next-Gen Developer Tools & Security Primitives

HubDev AI — Next-Gen Developer ToolsHubDev AI builds cutting-edge developer tools. Our projects include mkly, a human-readable markup language that compiles to semantic HTML5, and Untrusted<T>, a backend-focused security primitive enforcing security-by-construction through taint tracking and policy-as-code.Projects

mkly — A zero-config, type-safe markup language with Zod schema validation that generates clean HTML5.

Untrusted<T> — A tainted data wrapper preventing accidental usage in sensitive sinks. Includes sec4Audit compiler and policy-as-code enforcement.