https://api.m2mcent.com/coq-proof-assistant-mcp/api/process
https://api.m2mcent.com/coq-proof-assistant-mcp/api/processOverview
Protocol
x402
Price
—
Payment Asset
USD Coin
Payment Network
Base
Category
uncategorized
Provider
m2mcent
Source
bazaar
Indexed
2026-08-14 08:12:39
Health
Status
healthy
Latency (p50)
87ms
Uptime (30d)
100.0%
Reliability Score
100/100
Last Checked
2026-10-05 23:39:54
Last Healthy
2026-10-05 23:39:54
Consecutive Failures
0
x402 Payment Validation
Payment Requirements
Invalid
Asset Verified
—
Facilitator
—
Recent Health Checks
| Time | Status | HTTP | Latency | Error |
|---|---|---|---|---|
| 2026-10-05 23:39:54 | healthy | 402 | 135ms | |
| 2026-10-05 05:48:06 | healthy | 402 | 51ms | |
| 2026-10-04 18:06:10 | healthy | 402 | 60ms | |
| 2026-10-04 07:50:32 | healthy | 402 | 54ms | |
| 2026-10-04 02:06:25 | healthy | 402 | 60ms | |
| 2026-10-03 18:26:32 | healthy | 402 | 87ms | |
| 2026-10-03 08:48:57 | healthy | 402 | 177ms | |
| 2026-10-03 02:33:29 | healthy | 402 | 130ms |