Creates evidence packs for AI from changing records, with sources and proof IDs.

A small multilingual judgment model focused on Korean that returns probabilities for fixed choices

A linting tool that applies project rules written in everyday language to JavaScript and TypeScript code

Constrain LLM inference paths using measured RTX 5090 results and correctness checks.