AGENTRANK
liquid-java/liquidjava-mcp
A Java MCP server that exposes LiquidJava verification tools to LLM agents over stdio
53
/ 100
Stars
8
Freshness
99
Issue health
50
Contributors
0
Dependents
0