English
工具

assure-action

symbolia-assurance/assure-action

在每次拉取请求上做形式化验证的 GitHub Action,用自然语言规则检查代码并指出违规行。