proofstack | mcpmetrics