LiquidJava
Organization@liquid-java
Refinement types and typestate verification for Java
liquid-java.github.io On GitHub since November 2025
1
Published Tools
1
Total Stars
0
Weekly Downloads
6
GitHub Followers
15
Public Repos
Published Tools
1 MCP Serveracross 1 categoryliquid-java
A Java MCP server that exposes LiquidJava verification tools to LLM agents over stdio
MCP Serveruncategorised
11 dir