Agents

Configure AI agents for proof checking