15 Show HN: Boffin – Staff-engineer layer for AI coding agents (github.com/micsm) 3 hours ago mic_sm github.com