“Inspired the README file of the Coqpilot project”
->
“Inspired by the README file of the Coqpilot project”

😢