"author:insinuateai" matching MCP servers:

• prova-mcp

  insinuateai

  A

  license

  A

  quality

  C

  maintenance

  An MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.

  Last updated 2026-04-19

  5

  MIT