liquidjava-mcp

liquid-java/liquidjava-mcp

★ 1 stars Java AI/LLM Updated today

A Java MCP server that exposes LiquidJava verification tools to LLM agents over stdio.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "liquidjava-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "liquid-java/liquidjava-mcp"
      ]
    }
  }
}

README Excerpt

A Java MCP server that exposes LiquidJava verification tools to LLM agents over stdio. It allows agents to run the LiquidJava verification, retrieve structured diagnostics, inspect the verification context, and query LiquidJava's solver with custom assumptions and conclusions. Build the project with `mvn package` and then point your MCP client at the resulting jar:

Tools (5)

check_validityget_diagnosticsget_globalsget_localsverify

Topics

llm-toolsmcpmcp-servermcp-toolsstatic-analysis

liquidjava-mcp

Quick Install

README Excerpt

Tools (5)

Topics

Related AI/LLM Servers