diff --git a/AGENTS.md b/AGENTS.md index 5730c68..8a0b5c4 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -4,7 +4,7 @@ This file provides guidance to coding agents collaborating on this repository. ## Mission -chase-rs is an efficient implementation of the chase algorithm in Rust for advanced reasoning engines. +Chase-rs is an efficient implementation of the chase algorithm in Rust for advanced reasoning engines. Priorities, in order: 1. Correctness of reasoning (sound and complete chase).