Local development, upgraded

Your app deserves a real URL, even on your laptop

Stable HTTPS domains for local development. No ports. No /etc/hosts. No certificate warnings. One command and you're there.

Install

curl -fsSL https://antra.iifelse.com/install.sh | bash

or brew install ifelse-codes/antra/antra

Clean URLs (https://myapp.localhost) use ports 443/80 and need sudo once: sudo antra proxy start. Without sudo, Antra serves https://myapp.localhost:8443 automatically.

Pin a version for teams/CI: curl -fsSL https://antra.iifelse.com/install.sh | ANTRA_VERSION=v0.2.6 bash

The problem

Local development still looks like 2009.

What you got

localhost:5173
A red lock and "proceed anyway"
A spreadsheet of ports
"This is not a secure context"
"wait, which port was auth on?"

What you wanted

A real URL
HTTPS that just works
Multiple services, one address
Cookies, Service Workers, WebCrypto
A teammate can hit the same app

Capabilities

Everything the workaround stack does, minus the work.

One command

antra run --domain myapp.localhost -- pnpm dev. That's it.

Real HTTPS

Local CA, SNI certs, zero browser warnings. One-time trust, then forget — no sudo needed (macOS uses your login keychain).

No ports

Visit https://myapp.localhost. No :5173. No :3000. Done. (Clean URLs need sudo antra proxy start once for ports 443/80 — otherwise Antra serves :8443 automatically.)

HMR works

Transparent WebSocket tunnel. Vite, Next, Rails, anything.

Multi-app routing

Run antra run N times. Each app gets its own domain. The daemon handles it.

Project config

Drop an antra.toml. Run antra dev. The whole team gets the same setup.

domain = "myapp.localhost"

[server]
command = "pnpm"
args = ["dev"]
port = 5173

Architecture

A daemon, a cert cache, and a route table. That's the whole system.

Browser │ https://myapp.localhost ▼ ┌──────────────────────────────────────────┐ │ Antra daemon │ │ │ │ :80 HTTP → HTTPS redirect │ │ :443 TLS termination (SNI → leaf cert) │ │ │ │ Route table │ │ myapp.localhost → 127.0.0.1:5173 │ │ api.localhost → 127.0.0.1:8080 │ └──────────────────────┬───────────────────┘ │ X-Forwarded-* ▼ Your process

Comparison

Antra vs the usual suspects.

	localhost:port	mkcert + Caddy	ngrok	Antra
Stable local domain	—	Manual	Random / paid	.localhost / .test
HTTPS without warnings	—	Manual	Yes	antra trust once
Hosts file edits	n/a	You edit it	No	No for .localhost — only .test & Safari (`hosts sync`)
WebSocket / HMR	Yes	Config-dependent	Yes	Transparent
Multi-app routing	DIY	Config file	Extra tunnels	antra run x N
Cloud account	No	No	Yes	No
One-command UX	—	—	Close	Yes