Skill UI

This tool is designed to help optimize and refine prompts used with Large Language Models (LLMs). By structuring inputs, it ensures that the instructions given to AI systems are clear, comprehensive, and contextually rich, resulting in significantly higher quality and relevance of the generated output. Useful for developers, writers, and researchers.

Produces structured proof packages for ML/AI theory claims by extracting statements, assumptions, and sketches, then drafting a dependency-aware proof or blockage report ensuring every step is justified before updating PROOF_PACKAGE.md.