webtor-rs

Guardrail for AI-assisted scientific, mathematical, and formal work. Use when the user is proposing or refining novel theorems, scientific hypotheses, algorithms, or "breakthrough" ideas, especially after long LLM conversations. This skill detects red flags for hallucinated discoveries, enforces falsifiability and verification workflows, records provenance and evidence chains, and prevents sycophantic agreement with unverified claims.