Favz: leanEthereum/leanSpec agent setuphttps://favz.co/repos/leanethereum/leanspec.htmlMCP servers, skills and plugins added to or removed from leanEthereum/leanSpec.leanEthereum/leanSpec added audithttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:audit-add-2026-06-09T16:16:38ZTue, 09 Jun 2026 16:16:38 +0000leanEthereum/leanSpec added dochttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:doc-add-2026-05-15T23:06:55ZFri, 15 May 2026 23:06:55 +0000leanEthereum/leanSpec added workflowshttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:workflows-add-2026-03-15T18:46:08ZSun, 15 Mar 2026 18:46:08 +0000leanEthereum/leanSpec added reviewhttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:review-add-2026-03-15T18:46:08ZSun, 15 Mar 2026 18:46:08 +0000leanEthereum/leanSpec added testhttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:test-add-2026-01-30T23:56:22ZFri, 30 Jan 2026 23:56:22 +0000leanEthereum/leanSpec added fixhttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:fix-add-2026-01-30T23:56:22ZFri, 30 Jan 2026 23:56:22 +0000leanEthereum/leanSpec added checkshttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-skill:checks-add-2026-01-30T23:56:22ZFri, 30 Jan 2026 23:56:22 +0000leanEthereum/leanSpec added doc-writerhttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-agent:doc-writer-add-2026-01-08T17:19:28ZThu, 08 Jan 2026 17:19:28 +0000leanEthereum/leanSpec added code-testerhttps://favz.co/repos/leanethereum/leanspec.htmlfavz-leanethereum/leanspec-agent:code-tester-add-2026-01-08T17:19:28ZThu, 08 Jan 2026 17:19:28 +0000