"author:Kenzo2345" matching MCP servers:

• Verificarlo MCP Server

  Kenzo2345

  -

  license

  -

  quality

  -

  maintenance

  Exposes Verificarlo floating-point debugging capabilities to AI agents, enabling compilation, instrumentation, and analysis of numerical code through tool calls over the MCP protocol.

  Updated 2 months ago (2026-06-24 08:23 UTC)