ffi-navigator (pypi): Language server for navigating FFI calls
Keywords: ffi|language-server|tvm|vscode-extension