Nedster – An open-source, local-first coding agent that verifies its own work | Heykuki News