Use lua-language-server for Lua code navigation and diagnostics in Codex.
This plugin declares no skills.