muro-lang.dev
muro-lang.dev is a live English-language website hosted on Fly.io, Inc. (AS40509) in the United States, served by Fly. cl0q first saw it on 2026-10-08 and last crawled it on 2026-10-08. It resolves to 66.241.125.35 and has mail (MX) records set up. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
Prove real programs correct · muro-lang.dev
Write a program and a proof in one file. The checker accepts both, or neither. What runs is ordinary Elixir. The proof is checked, then gone.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-10-08 |
| Last crawled | 2026-10-08 |
| IPv4 | 66.241.125.35 |
| IPv6 | 2a09:8280:1::195:e24b:0 |
| Network | AS40509 Fly.io, Inc. · United States |
| Mail (MX) | mx2.privateemail.com,mx1.privateemail.com |
| Language | en |
| Server | Fly/6d530f8f2 (2026-09-29) |