Show HN: Linden – a rule based verification layer for AI agents