N/A

debabsah/tuneproof

mcp agent Offline

The model suggests the rewrite; the tool proves it. A deterministic trust engine for SQL changes — equivalence proofs, honest benchmarks, provenance-graded certificates. Agent-ready via MCP.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know