为技术栈增加可验证性