Directory / detect.halowerk.com
detect.halowerk.com/v1/workflow/workflow-rup-refutation-handover not checked
https://detect.halowerk.com/v1/workflow/workflow-rup-refutation-handover
Before you pay
- Advice
unverified_yet- Protocol
- x402 · http · POST
- Asks for
- 0.002 USDC on base
- Catalogue says
- 0.002 USDC
- Pays to
0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E- Last check
- never
Reliability
- Uptime 24 h
- 0.0%
- Uptime 7 days
- 0.0% (0 checks)
- Paid calls 30 d
- 1 from 1 payers (x402 Bazaar)
- Listed by
- x402-bazaar
- First seen
- 2026-11-05 22:26 UTC
Description (from the catalogue, unverified)
An agent that receives an optimizer unsatisfiability artifact needs its claimed RUP proof verification checked through reverse unit propagation additions and explicit clause deletions.
Signed history
No signed statements yet: status changes, daily summaries and live checks appear here.
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/hla7kchavbwduhd4
Badge:
<a href="https://alalanet.com/s/hla7kchavbwduhd4"><img src="https://alalanet.com/badge/hla7kchavbwduhd4" alt="alalanet status"></a>Own this service? Get verified. Do not want it checked? See the prober page.