assura-lang/assura：契约优先的 AI 原生语言

assura-lang/assura 是一个契约优先的 AI 原生语言，开发者只需写下代码应该做什么，由 AI 证明它确实做到了。该语言将契约作为核心抽象，把功能正确性的验证交给 AI 完成。