# LiquidJava MCP server

> Exposes LiquidJava verification tools to LLM agents to run verification, retrieve structured diagnostics, and query the solver.

- Repository: https://github.com/liquid-java/liquidjava-mcp
- Page: https://hostedmcp.org/servers/liquid-java/liquidjava-mcp
- Transport: —
- Stars: 1
- License: MIT

## Tools (8)

- `verify`
- `get_diagnostics`
- `get_locals`
- `get_globals`
- `get_contracts`
- `get_state_machine`
- `check_validity`
- `check_satisfiability`

## FAQ

### How do I install the LiquidJava MCP server?

Build the project using `mvn package` and point your MCP client to the resulting jar file using the stdio transport.

### Can I get machine-readable error reports instead of terminal output?

Yes, the `get_diagnostics` tool provides structured diagnostics including errors and warnings in arrays, which avoids the need for agents to parse terminal output.

### Does the server support caching?

Yes, several tools like `verify`, `get_diagnostics`, and `get_locals` reuse cached analysis when the input path, source hash, and debug option match.

### Is there a timeout for requests?

Yes, requests time out after 60 seconds, which includes the time spent waiting for another analysis.