Changelog Release
MCP server for agents
Connect Claude, Cursor, and other MCP clients to Truval tools at mcp.truval.dev/mcp with an OpenAPI-backed surface.
Use the hosted MCP endpoint to call verification and related tools from agent runtimes without hand-rolling HTTP in every prompt.