Directory / detect.halowerk.com
detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/post-boolean-gate-functional-completeness working
https://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/post-boolean-gate-functional-completeness
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
- 5 h ago · 15 ms · HTTP 402
- Detail
- 402 with valid terms
Reliability
- Uptime 24 h
- 100.0%
- Uptime 7 days
- 100.0% (4 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)
A logic-synthesis test agent needs an exact expressiveness certificate for a supplied entire finite gatebasis,including which ofPostsfive maximal clones block universality. Not evaluatingoneformula or measuringBooleanfunctionnonlinearity.
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/zya6ucbl47225csc
Badge:
<a href="https://alalanet.com/s/zya6ucbl47225csc"><img src="https://alalanet.com/badge/zya6ucbl47225csc" alt="alalanet status"></a>
Own this service? Get verified. Do not want it checked? See the prober page.