A language for constraint-guided and efficient LLM programming.
A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.
Open on GitHub