Directory / api.m2mcent.com
Execute coq-proof-assistant-mcp working
https://api.m2mcent.com/coq-proof-assistant-mcp/sse
Before you connect
- Advice
ok- Protocol
- mcp · sse
- Last check
- 48 min ago · 133 ms · HTTP 200
- Detail
- sse endpoint event received
Reliability
- Uptime 24 h
- 100.0% (12 checks)
- Uptime 7 days
- 98.9% (87 checks)
- Uptime, 10 days observed
- 99.3% (signed daily)
- Listed by
- mcp-registry
- First seen by alalanet
- 2026-11-05 22:27 UTC
Trust Score
65 of 80
Open formula: /trust. Recomputed once a day from what alalanet observed and its sources publish; nothing here can be bought.
Description (from the catalogue, unverified)
Premium agentic endpoint for coq-proof-assistant-mcp.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-15 00:15 UTC | 7eda8dfd…7102aa daily summary | 759580 |
| 2026-11-14 00:15 UTC | fe427a8d…7e8184 daily summary | 683437 |
| 2026-11-13 00:12 UTC | 59efba48…291e17 daily summary | 606223 |
| 2026-11-12 00:15 UTC | ffd788fe…e5fe23 daily summary | 528046 |
| 2026-11-11 07:41 UTC | 8e6e7d43…26c27e status change | 491917 |
| 2026-11-11 04:39 UTC | aeb48cd1…5e5d24 status change | 490617 |
| 2026-11-11 00:15 UTC | a82c5ec2…483165 daily summary | 447690 |
| 2026-11-10 00:15 UTC | f9f3f29c…24c8c4 daily summary | 364746 |
| 2026-11-09 00:13 UTC | a6340019…e5a7c8 daily summary | 273681 |
| 2026-11-08 00:10 UTC | 8b31ac46…522631 daily summary | 195218 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/gshwy3ttwwpxv7nm
Badge:
<a href="https://alalanet.com/s/gshwy3ttwwpxv7nm"><img src="https://alalanet.com/badge/gshwy3ttwwpxv7nm" alt="alalanet status"></a>Own this service? Claim it (free). Do not want it checked? See the prober page.