considering vibe coding a BIP 177 PR for knots