Module language_capabilities 

Structs

LanguageCapabilities

Enums

LanguageId

Constants

ALL_LANGUAGES

Every language the property graph / code-map can index, for capability enumeration and UI hints. Keep in sync with language_for_ext.

Functions

capabilities

graph_supported_language_names

Friendly names of every graph-indexable language (e.g. for an empty-graph hint).

is_indexable_ext

language_for_ext

language_for_path

scan_unsupported_source_languages

Bounded project scan returning programming languages present in root that lean-ctx does not graph-index, with file counts (descending, capped to 5). Honors .gitignore/hidden like the graph walker and stops after max_entries filesystem entries. Lets the dashboard turn a confusing empty graph into a clear “Lua is not graph-indexed” message instead of an endless loading state.