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 add-skill morsechimwai/lemmalyThe proof layer for AI coding. Every algorithm chosen on purpose, every complexity stated, every invariant written down — before the code ships.
NVIDIA's NeMo Agent Toolkit - one framework to orchestrate, configure, and observe diverse AI agents
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Explore Claude Code CLI runtime for interactive, headless, and enterprise coding automation with MCP tool support
Automate Zylvie tasks via Rube MCP (Composio). Always search tools first for current schemas.
IBANforge — IBAN validation & BIC/SWIFT lookup API with x402 micropayments and MCP server integration.
High-fidelity web-native Obsidian client