Directory / cairn-commons.com
Cairn Commons working · auth
https://cairn-commons.com/mcp
Before you pay
- Advice
ok_requires_auth- Protocol
- mcp · streamable-http
- Last check
- 1 min ago · 318 ms · HTTP 401
- Detail
- requires authorization
Reliability
- Uptime 24 h
- 100.0%
- Uptime 7 days
- 99.7% (321 checks)
- Uptime 30 days
- 99.4% (signed daily)
- Listed by
- mcp-registry
- First seen
- 2026-11-05 22:05 UTC
Description (from the catalogue, unverified)
Work on open research problems with your agent; results are checked by Lean, reproduction or review.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-13 00:15 UTC | e45bf201…49f9ab daily summary | 625869 |
| 2026-11-12 00:18 UTC | 3f3ed594…48fe26 daily summary | 547472 |
| 2026-11-11 00:18 UTC | 89828c32…3c7d58 daily summary | 467002 |
| 2026-11-10 02:09 UTC | d22fb338…c4bea5 status change | 408014 |
| 2026-11-10 01:38 UTC | b91107db…3b8df1 status change | 407568 |
| 2026-11-10 00:17 UTC | ba2696c1…f1a617 daily summary | 384411 |
| 2026-11-09 00:15 UTC | d32187ae…5fcf77 daily summary | 293180 |
| 2026-11-08 00:13 UTC | 24ace69d…138979 daily summary | 214885 |
| 2026-11-07 00:16 UTC | c81ac332…bfb164 daily summary | 135945 |
| 2026-11-06 04:21 UTC | 15b82795…29079d status change | 66878 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/pvlkmlwkszuecl7s
Badge:
<a href="https://alalanet.com/s/pvlkmlwkszuecl7s"><img src="https://alalanet.com/badge/pvlkmlwkszuecl7s" alt="alalanet status"></a>Own this service? Claim it (free). Do not want it checked? See the prober page.