Aegis – A security-first programming language for AI agents
Security-by-construction language for AI agents with Z3 contract verification.
go lsp plugin for claude code
Whole-program SSA with VTA callgraph beats go vet's per-package limits.
Go developers, security engineers doing code audits
gosec · staticcheck · CodeQL
The core is a 217-line recursive DFS that follows a tainted value through SSA instructions, jumping across functions via the VTA callgraph.
Four jump cases: Call (args→params via VTA), MakeClosure (bindings→freevars), MakeInterface (interface casts), Store (struct taint poisoning).
Standard Go tools glp ───────────────── ─────────────────────── per-package analysis → whole-program SSA direct calls only → VTA (interfaces + closures) no data flow → inter-procedural taint DFS no sink detection → bottom-up from database/sql
7 MCP tools: load, callgraph (static/VTA), taint, sinks, sql extraction, dead exports, err-check. Runs as an MCP server for Claude Code or any MCP agent. Also usable as a Go library.
Same class of analysis as commercial SAST tools, in 1462 lines with zero deps beyond golang.org/x/tools. Pure Go, CGO_ENABLED=0, MIT.Security-by-construction language for AI agents with Z3 contract verification.
Live terminal backgrounds—fun, but novelty without real productivity gain or differentiation.
Local-only iOS tracker for GLP-1 shots when generic habit apps miss the specifics.
Revives a dead FiveThirtyEight classic with 2026 actuarial data.
Another MongoDB CLI rewrite in Go, but the official mongosh already works fine.
SSA survival tables reveal Gertrude is typically 80 while Lainey is typically 3.