typer

A static analysis tool for Lua that reports where LuaLS type annotations are
missing or too vague. Report-only; it never edits files.

typer builds a project-wide type index, resolves `require` against LUA_PATH
and friends, reads third-party and standard-library definitions, and
supports `---@meta` stub files for code it cannot read. A missing definition
is an error to fix, not something typer papers over -- and there is no
baseline mode, deliberately.