Discover the toolingbehind modern intelligence
The operating system for AI infrastructure discovery. Search a live map of MCP servers, AI agents, LLM tools, automation systems, and developer infrastructure.
lemmaly
The proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
1stars
0forks
TypeScript
agent-skillai-codingalgorithmsanthropicbig-oclaude-codeclaude-skillcursorn-plus-onestatic-analysis
Quality signals
ActiveNo testsNo CIThin docsNo licenseNew
InstallSKILLInstall as a Claude Code skill
Universal installANY TOOL
$ npx skillcity@latest morsechimwai/lemmalyAuto-detects the skill or MCP server in this repo and installs it for Claude Code, Codex, Cursor, Cline, OpenCode, Gemini CLI, Anti-Gravity, OpenClaw and Hermes.
Requires Node.js 18+ (ships with npx).
Or install manually
# Install into ~/.claude/skills/ mkdir -p ~/.claude/skills/lemmaly curl -fsSL https://raw.githubusercontent.com/morsechimwai/lemmaly/main/SKILL.md -o ~/.claude/skills/lemmaly/SKILL.md
Loading README…
Ask a simulated agent to run this skill. It loads the real SKILL.md and reasons over your task with NVIDIA.
lemmaly — sandboxAI sandbox
Pick a quick prompt below or type your own — watch the agent execute this skill step by step.
guest@skillcity:~$Try a prompt