Favz: runtimeverification/kontrol agent setuphttps://favz.co/repos/runtimeverification/kontrol.htmlMCP servers, skills and plugins added to or removed from runtimeverification/kontrol.runtimeverification/kontrol added buildhttps://favz.co/repos/runtimeverification/kontrol.htmlfavz-runtimeverification/kontrol-skill:build-add-2026-08-12T17:45:39ZWed, 12 Aug 2026 17:45:39 +0000