Add lemmaly to Development & Code Tools
@morsechimwaichecks…add-lemmaly → master1 files · +1 −0updated 2w agoloading diff…
@morsechimwaichecks…add-lemmaly → master1 files · +1 −0updated 2w ago@morsechimwaichecks…add-lemmaly → master1 files · +1 −0updated 2w agoAdds lemmaly under the Development & Code Tools section, alphabetically between lean-ctx and MCP Builder.
What it is: Four composable skills (lemmaly, mathguard, invariant-guard, complexity-cuts) that force AI coding agents to state Big-O, name the data structure, prove termination, and pick the right algorithm — before writing the loop. Ships a deterministic CI scanner with 59 rules across 11 languages (no LLM, no API key, no network call).
Repo: https://github.com/morsechimwai/lemmaly
License: Apache-2.0
Install: npx skills add morsechimwai/lemmaly
Single-line addition, no other changes.