axiom-verify

MEDIUM W012: Unverifiable external dependency detected (runtime URL that controls agent).

• Potentially malicious external URL detected (high risk: 0.90). The skill sends user Lean code to and relies on the remote execution API at https://axle.axiommath.ai (e.g., POSTs to https://axle.axiommath.ai/api/v1/check and other /api/v1/* endpoints via curl/CLI), which executes/controls code transformations and proof verification at runtime, making it a required remote execution dependency.