"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.

  Last updated 2026-06-24