indexo.dev

colimit.ai

.ai crawl

First seen 2026-04-15 · Last seen 2026-04-20 · ok HTTP/1.1 200 1564 ms crawled 2026-05-11

US · 185.199.108.153 · AS54113 Fastly, Inc.

Reputation 89/100 weak security headers dmarc monitor-only

Classifying

HTML metadata

Title
Colimit — Formal Spec-Driven Development
Description
Colimit is a terminal coding agent that writes formal specifications and verifies them before generating code.
Language
en

Technology

CDN
Fastly
Server
GitHub.com
Fonts
  • Google Fonts

Third-party hosts loaded (2)

  • fonts.googleapis.com×2
  • fonts.gstatic.com×1

Social

Contact

Email

Registration

Registrar
1API GmbH
Created
2023-03-27
Expires
2027-03-27 311 days left
Updated
2025-11-24
Name servers
  • ns1.dnsimple.com
  • ns3.dnsimple.com
  • ns4.dnsimple-edge.org
  • ns2.dnsimple-edge.net

DNS records live

NS
  • ns1.dnsimple.com
  • ns2.dnsimple-edge.net
  • ns3.dnsimple.com
  • ns4.dnsimple-edge.org
MX
  • 1 smtp.google.com
TXT
  • compai-domain-verification=org_685bfa4f2004408019944975

Email authentication weak

SPF
not published
DMARC
v=DMARC1; p=none;
policy: none (monitoring only)
DKIM
no key found at common selectors

Certificate (current)

R12
from 2026-04-21 to 2026-07-20
Expires in 62 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://colimit.ai/

findings
  • missing HSTS
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy

Links to (8)