morsechimwai/lemmaly
The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
npx skills add morsechimwai/lemmalyThe proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
Backup complete Moodle courses with all resources and activities
A collaborative repository for storing and updating Codex skills. Team members can contribute and update skill files.
Manage and switch OpenClaw AI agent presets, including personalities, toolsets, and model configurations, via a simple CLI utility.
LaunchDarkly MCP Server. Feature flag management, targeting rules, flag status checks
A collection of Agent Skills for Lynx
Codex skill for generating theory-practice learning notebooks