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.
Self-hosting Miranda dialect compiler in 7kloc with 19-pass optimization and GC.
Another MongoDB CLI rewrite in Go, but the official mongosh already works fine.
Emergent swarm intelligence puzzle with pheromone-only coordination; live leaderboard.