Skill UI

Prepares Claude with an ultra-granular, line-by-line code-analysis mode that maps invariants, assumptions, and flows before any vulnerability hunting, keeping context stable and reducing hallucinations during audits.

Prepares Claude with an ultra-granular, line-by-line code-analysis mode that maps invariants, assumptions, and flows before any vulnerability hunting, keeping context stable and reducing hallucinations during audits.

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 structured methodology for precisely identifying specific geographic locations or historical landmarks. This technique systematically narrows the search scope, moving from broad regions (countries/former states) down through administrative divisions, city centers, and finally to specific monuments or structures. It requires utilizing diverse clues like historical events, census data, and distance constraints, while critically verifying assumptions at each step to ensure accuracy.

A comprehensive guide for researchers detailing how to strengthen the reproducibility of AI/ML papers for top-tier conferences like ICML. It provides an evidence checklist covering data sources, anonymized code, random seeds, compute budget disclosure, and theoretical assumptions, ensuring claims are robust and verifiable.

Ouroboros is a sophisticated requirement crystallization engine designed for robust AI workflows. It transforms vague, high-level ideas into validated, actionable specifications using advanced techniques, including Socratic interviewing to expose hidden assumptions, generating immutable seed specs, and executing a rigorous 3-stage evaluation (Mechanical > Semantic > Consensus). Ideal for product managers and developers needing to solidify complex AI project requirements.

This skill forces the AI to operate in a non-inferential mode, ensuring every claim—factual, legal, or numerical—is strictly anchored to user-provided materials or verified online sources. It eliminates assumptions, gap-filling, and background knowledge reliance, making it essential for legal research, evidence review, citation checking, and high-stakes document analysis where evidential fidelity is paramount.