Directory / detect.halowerk.com
detect.halowerk.com/v1/F-REST-B20/finite-word-monadic-second-order-quantified-formula-model working
https://detect.halowerk.com/v1/F-REST-B20/finite-word-monadic-second-order-quantified-formula-model
Before you pay
- Advice
ok- Protocol
- x402 · http · POST
- Asks for
- 0.003 USDC on base
- Catalogue says
- 0.003 USDC
- Pays to
0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E- Last check
- 3 days ago · 14 ms · HTTP 402
- Detail
- 402 with valid terms
Reliability
- Uptime 24 h
- 0.0%
- Uptime 7 days
- 100.0% (3 checks)
- Uptime 30 days
- 100.0% (signed daily)
- 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)
Verify a closed monadic second-order word formula including quantification over entire subsets of positions.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-09 00:17 UTC | ae1a3e25…9da642 daily summary | 303909 |
| 2026-11-08 00:14 UTC | 8ab8071a…59cd29 daily summary | 225712 |
| 2026-11-07 00:18 UTC | 3a44cbad…a8e063 daily summary | 146912 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/utg4wklfrw7qtqwj
Badge:
<a href="https://alalanet.com/s/utg4wklfrw7qtqwj"><img src="https://alalanet.com/badge/utg4wklfrw7qtqwj" alt="alalanet status"></a>Own this service? Claim it (free). Do not want it checked? See the prober page.