github-pages-domain — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited github-pages-domain (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
Diagnose and manage the custom domain setup for arova-ai.com on GitHub Pages.
arova-ai.com (apex) → GitHub Pages A records (4 IPs)
www.arova-ai.com (www) → CNAME to arova-ai.github.io
GitHub Pages custom domain → arova-ai.com (apex is the primary)
SSL certificate → Let's Encrypt, covers both apex + wwwarova-ai/arova-websitearova-ai.com (apex)185.199.108.153185.199.109.153185.199.110.153185.199.111.153public/CNAME contains arova-ai.comgandi-arova skill for API calls)When something is wrong with the domain, run these checks in order:
# Check apex A records
dig arova-ai.com A +short
# Expected: 4 GitHub Pages IPs
# Check www CNAME
dig www.arova-ai.com CNAME +short
# Expected: arova-ai.github.io.
# Use external DNS to bypass cache
dig arova-ai.com A @8.8.8.8 +short
dig www.arova-ai.com CNAME @1.1.1.1 +short# Test apex
curl -sI -o /dev/null -w "HTTPS %{http_code}" https://arova-ai.com
# Expected: 200
# Test www (should redirect to apex)
curl -sI -o /dev/null -w "%{http_code} → %{redirect_url}" https://www.arova-ai.com
# Expected: 301 → https://arova-ai.com/
# Test HTTP redirect
curl -sI -o /dev/null -w "%{http_code} → %{redirect_url}" http://arova-ai.com
# Expected: 301 → https://arova-ai.com/# Check what cert is being served
echo | openssl s_client -servername arova-ai.com -connect 185.199.108.153:443 2>/dev/null | grep "subject="
# Expected: CN=arova-ai.com (NOT *.github.io)
# Check www cert
echo | openssl s_client -servername www.arova-ai.com -connect 185.199.108.153:443 2>/dev/null | grep "subject="gh api repos/arova-ai/arova-website/pages | jq '{cname, https_enforced, cert_state: .https_certificate.state, domains: .https_certificate.domains}'*.github.io instead of custom domainCause: GitHub Pages hasn't provisioned a Let's Encrypt cert yet. Fix: Wait 5-15 minutes. Check cert state via gh api. If stuck, toggle the custom domain:
gh api repos/arova-ai/arova-website/pages -X PUT -f cname=""
sleep 10
gh api repos/arova-ai/arova-website/pages -X PUT -f cname="arova-ai.com"Cause: www CNAME points to apex (arova-ai.com.) instead of arova-ai.github.io. Fix: Update www CNAME on Gandi (use gandi-arova skill):
# WRONG: www → arova-ai.com. (SSL cert won't cover www)
# RIGHT: www → arova-ai.github.io. (GitHub Pages serves + gets cert)The www CNAME must point to arova-ai.github.io. so GitHub Pages can:
arova-ai.com redirects to www.arova-ai.comCause: GitHub Pages custom domain is set to www.arova-ai.com instead of arova-ai.com. Fix: The custom domain setting controls which is primary. Keep it as apex:
gh api repos/arova-ai/arova-website/pages -X PUT -f cname="arova-ai.com"And ensure public/CNAME contains arova-ai.com.
Cause: Let's Encrypt cert is still being provisioned. Fix: Wait and retry:
# Check cert state
gh api repos/arova-ai/arova-website/pages | jq '.https_certificate.state'
# "new" = provisioning, "approved" = ready, "dns_changed" = re-provisioning
# Once cert is ready:
gh api repos/arova-ai/arova-website/pages -X PUT -F https_enforced=trueFix: Flush macOS DNS cache:
sudo dscacheutil -flushcache && sudo killall -HUP mDNSResponder| Record | Type | Value | TTL |
|---|---|---|---|
@ | A | 185.199.108.153 | 3600 |
@ | A | 185.199.109.153 | 3600 |
@ | A | 185.199.110.153 | 3600 |
@ | A | 185.199.111.153 | 3600 |
www | CNAME | arova-ai.github.io. | 3600 |
@ | MX | 10 spool.mail.gandi.net. | 10800 |
@ | MX | 50 fb.mail.gandi.net. | 10800 |
@ | TXT | "v=spf1 include:_mailcust.gandi.net ?all" | 10800 |
Do NOT modify MX, SPF (TXT), or DKIM (gm1/gm2._domainkey CNAME) records — they are for email.
Before making DNS changes:
dig using external DNS (@8.8.8.8)~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.