Tp4
- Category
- MCP Tool Poisoning
- Confidence
- 95% confidence
- Finding
The skill materially overstates its capabilities, claiming a general-purpose multi-domain conjecture proving pipeline while the available implementation appears limited to a specific RH-oriented verification workflow. This can mislead users into relying on unsupported analysis, producing false confidence in proof-like outputs or reductions that were never actually performed.
- Content
