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.
Use when building PHP applications with modern PHP 8.3+ features, Laravel, or Symfony frameworks. Invokes strict typing, PHPStan level 9, async patterns with Swoole, and PSR standards. Creates controllers, configures middleware, generates migrations, writes PHPUnit/Pest tests, defines typed DTOs and value objects, sets up dependency injection, and scaffolds REST/GraphQL APIs. Use when working with Eloquent, Doctrine, Composer, Psalm, ReactPHP, or any PHP API development.
Lightweight graph routing engine enabling localized model structures to hand off tasks upon failure.
Define an AI agent once, generate the config every tool expects (CLAUDE.md, AGENTS.md, GEMINI.md, .cursor/rules). Clean-room, built on open-gitagent (MIT).
User feedback widget + MCP server for AI coding agents. One command to install.
Runtime-agnostic agent skill for evidence-bound supplier discovery reports.
Ai agent skills