GitHub repository: kdunee/intentguard
Primary language: Python
Description: A Python library for verifying code properties using natural language assertions.