Is MisarDev MCP Server down?
Up
No, MisarDev MCP Server is up.
It passed its latest check 8 h ago in 577 ms, and every check since we started checking it on 17 Oct 2026.
Latest check
- Last check
- 8 h ago (21 Oct 2026, 13:36 UTC)
- Response time
- 577 ms (typical 593 ms)
- Next check
- In about 76 min
- How often
- About every 10 hours over the last 7 days
Uptime
Uptime is the share of checks that passed. We checked it about every 10 hours over the last 7 days.
Outages in the last 30 days
No outages in the last 30 days. An outage starts when two checks in a row fail and ends at the next passing check.
Recent checks
| When | Result | HTTP | Time |
|---|---|---|---|
| 21 Oct 2026, 13:36 UTC | Passed | 403 | 577 ms |
| 21 Oct 2026, 04:05 UTC | Passed | 403 | 629 ms |
| 20 Oct 2026, 18:50 UTC | Passed | 403 | 273 ms |
| 20 Oct 2026, 08:54 UTC | Passed | 403 | 605 ms |
| 19 Oct 2026, 23:31 UTC | Passed | 403 | 562 ms |
| 19 Oct 2026, 13:25 UTC | Passed | 403 | 604 ms |
| 19 Oct 2026, 05:08 UTC | Passed | 403 | 599 ms |
| 18 Oct 2026, 20:44 UTC | Passed | 403 | 520 ms |
| 18 Oct 2026, 10:38 UTC | Passed | 403 | 219 ms |
| 17 Oct 2026, 23:42 UTC | Passed | 403 | 637 ms |
How we check
Up means the MCP handshake and the tool list worked, or the server asked for sign-in or payment.
Checks come from our server, about every 10 hours for this listing over the last 7 days. A failure can also mean the service blocks our checks. Two failed checks in a row count as an outage, which ends at the next passing check.
If you think a check is wrong, contact hello@toolvet.app. More on how we check and score.