axiom-verify

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

• Potentially malicious external URL detected (high risk: 0.70). The skill sends Lean source code at runtime to the Axle HTTP API (https://axle.axiommath.ai and its /api/v1/* endpoints) which performs remote compilation/execution of that code, making the external service a required runtime dependency that executes code.