Skill UI

A specialized tool for formalizing and verifying complex mathematical proofs, particularly in Machine Learning and AI theory. It guides users through structuring theorems, identifying explicit assumptions, performing feasibility triage, and ensuring every logical step is rigorously justified, preventing the fabrication of proofs.

A comprehensive evaluation suite designed to benchmark the performance of Large Language Models (LLM) and Vision-Language Models (VLM) specifically for home security applications. It covers 143 diverse tests across 16 critical domains, including tool use, prompt injection resistance, contextual reasoning, alert triage, and detailed scene analysis, ensuring robustness for smart home AI systems.

A comprehensive guide for authors preparing a single-page academic rebuttal for top-tier AI conferences (e.g., CoRL). It details how to structure the response, focusing on maximizing impact through new, compact evidence (tables/figures) rather than verbose prose. Learn to triage reviewer comments, maintain a professional tone for public record, and optimize space for maximum score movement.

A comprehensive guide for authors on drafting strategic, anonymous rebuttals and discussion replies for top-tier Machine Learning conferences like ICML. Learn how to triage reviewer objections by focusing on soundness, originality, significance, clarity, ethics, and reproducibility, adhering strictly to double-blind review constraints and maximizing impact in limited discussion rounds.

Wraps DeepSeek's deepseek-reasoner model to expose chain-of-thought reasoning separately from the final answer. Enables multi-step reasoning tasks such as proofs, planning, root-cause analysis, and bug triage with explicit thinking output for audit or verification. Handles API key via environment, degrades gracefully when unavailable.

A sophisticated framework designed to simulate complex legal interactions across various domains, including tenancy law, business contracts, startup disputes, and employment claims. This tool is ideal for demonstrating AI-powered legal triage systems, training personnel on responsible AI use, or creating realistic proof-of-concepts for legal technology presentations. Note: This skill is strictly for educational and demonstration purposes and does not provide legal advice.

This skill estimates the probability that a document's prose was written by AI using linguistic analysis. It identifies specific patterns and phrases indicative of AI generation while abstaining on non-prose content like forms or tables. Suitable for educators, publishers, and HR to triage submissions. It provides confidence scores and reasoning but should not be used as sole proof of misconduct.