Skill UI

Writes rigorous mathematical proofs for ML/AI theory, including theorem/lemma drafting, filling missing proof steps, formalizing proof sketches, and checking whether claims are provable from assumptions.

This tool enables complex web interactions using plain natural language commands. Instead of relying on unreliable selectors, it utilizes a powerful page-agent and LLM loop to interpret user intent, performing actions like filling forms, clicking buttons, and extracting data from dynamic websites. Ideal for testing and automation in pages with ambiguous or changing markup.

This AI-powered tool generates engaging introductions for blog posts based on provided topics, article angles, or existing drafts. It helps streamline content creation by adapting to specific audiences and tones without requiring extensive form filling. Ideal for SEO-focused writers looking to optimize their opening paragraphs quickly and efficiently.

Generate structured content outlines for SEO articles based on topics or reader questions. This AI tool helps plan article structure, sections, and purposes efficiently without requiring manual form filling. Ideal for content strategists and writers needing quick scaffolding for blog posts or web pages.