MCPVault

get_diagnostics

MCP tool from Javalens MCP by pzalutski-pixel

Get compilation errors and warnings

How to use it

get_diagnostics is exposed by the Javalens MCP MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the get_diagnostics tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.

FULL JAVALENS MCP LISTING

Other tools in Javalens MCP (39)

analyze_change_impact

Blast radius — direct call sites by depth, or the full transitive closure over the project graph (transitive=true)

analyze_control_flow

Branching, loops, return/throw points, nesting depth

analyze_data_flow

Variable read/write/declaration tracking within a method; opt-in followCalls tracks null/taint facts across calls to sinks

analyze_file

Get imports, types, diagnostics in one call

find_affected_tests

The tests that exercise a symbol, directly or transitively — the set to run after changing it

find_annotation_usages

Find all @Annotation usages

find_casts

Find all (Type) expr casts

find_catch_blocks

Find all catch(Exception e) blocks

find_field_writes

Find where fields are mutated

find_implementations

Find interface/class implementations

find_instanceof_checks

Find all x instanceof Type

find_method_references

Find all Type::method expressions

find_possible_bugs

Detect null risks, empty catches, resource leaks

find_references

Find all usages of a symbol

find_reflection_usage

Find Class.forName(), Method.invoke(), and other reflection calls

find_tests

Discover JUnit/TestNG test methods

find_throws_declarations

Find all throws Exception in signatures

find_type_arguments

Find all List<Type> usages

find_type_instantiations

Find all new Type() calls

find_unreachable_code

Project-wide dead code — members unreachable from any main method or test, over the whole-program call graph

find_unused_code

Find unused private members

get_call_hierarchy_incoming

Find all callers of a method

get_call_hierarchy_outgoing

Find all methods called by a method

get_di_registrations

Find Spring DI registrations (@Component, @Bean, @Autowired, @Inject)

get_document_symbols

Get all symbols in a file

get_enclosing_element

Get containing method/class at position

get_field_at_position

Get field details at cursor

get_hover_info

Get documentation/signature for symbol

get_http_endpoints

Assembled HTTP route table — Spring and JAX-RS paths composed from class prefixes, mapped to handler methods

get_javadoc

Get parsed Javadoc

get_jpa_model

Assembled JPA entity model — tables, id fields, relationships with resolved targets and mappedBy sides

get_method_at_position

Get method details at cursor

get_signature_help

Get method signature at call site

get_symbol_info

Get detailed symbol information at position

get_type_at_position

Get type details at cursor

get_type_hierarchy

Get inheritance chain

go_to_definition

Navigate to symbol definition

search_symbols

Search types, methods, fields by glob pattern

validate_syntax

Fast syntax-only validation