Search results

Lean4 document symbol cache ignores build state and serves stale empty results

bugSomething isn't workingSomething isn't working

language-specific

Status: Open.

#1217 In oraios/serena;

· MischaPanch opened on Mar 25, 2026

Fix F# LS regression

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

language-specific

low priority

Status: Open.

#1209 In oraios/serena;

· MischaPanch opened on Mar 23, 2026

Security Issue: Unauthenticated Access to Administrative Dashboard Endpoints

Status: Open.

#1208 In oraios/serena;

· lilmingwa13 opened on Mar 23, 2026

Prevent context drift

Status: Open.

#1201 In oraios/serena;

· MischaPanch opened on Mar 21, 2026

Issue when getting symbol of large classes in JetBrains RubyMine that has the "Symbol-based modeling engine for classes" enabled

blocked

Status: Open.

#1191 In oraios/serena;

· minhhua-EH opened on Mar 19, 2026

get_symbols_overview and find_symbol fail for files in dot-prefixed directories

Status: Open.

#1187 In oraios/serena;

· pgm95 opened on Mar 19, 2026

Support renaming of files and dirs

enhancementNew feature or requestNew feature or request

Status: Open.

#1184 In oraios/serena;

· MischaPanch opened on Mar 17, 2026

Ansible hover fails on windows

Status: Open.

#1182 In oraios/serena;

· MischaPanch opened on Mar 17, 2026

Improve tool responses on too many matched symbols

enhancementNew feature or requestNew feature or request

Status: Open.

#1181 In oraios/serena;

· MischaPanch opened on Mar 17, 2026

support project-specific language server settings

configuration

low priority

Status: Open.

#1180 In oraios/serena;

· MischaPanch opened on Mar 17, 2026

Disambiguate language detection beyond file extensions

enhancementNew feature or requestNew feature or request

low priority

Status: Open.

#1178 In oraios/serena;

· MischaPanch opened on Mar 17, 2026

Bug: Not all language servers can be added via the dashboard

bugSomething isn't workingSomething isn't working

Status: Open.

#1177 In oraios/serena;

· opcode81 opened on Mar 17, 2026