Favz: AdaCore/spark2014 agent setuphttps://favz.co/repos/adacore/spark2014.htmlMCP servers, skills and plugins added to or removed from AdaCore/spark2014.AdaCore/spark2014 added PostToolUse:python3https://favz.co/repos/adacore/spark2014.htmlfavz-adacore/spark2014-hook:PostToolUse:python3-add-2026-03-26T21:56:32ZThu, 26 Mar 2026 21:56:32 +0000