Independently verify a computational result by RE-EXECUTING it to ground truth and recomputing the headline number from raw outputs - then prove or break the claim. Use to check what an AI agent just produced (a metric, a backtest, a cleaned dataset, a "tests pass"), or as an inline guardrail an agent calls while it works. Recompute-and-diff against the claim + trivial-baseline edge, across domains and languages (quant Sharpe/return/drawdown; classification accuracy/AUC/F1/precision/recall; regression RMSE/MAE/R2; analytics row-count/column-sum/mean). Runs Python/R/Julia/C++/Rust as a black box. Deeper validity checks - leakage re-run, deflated-Sharpe/overfitting, realism deflators, contamination - are named roadmap (M3-M4), not yet delivered. Triggers: "verify", "is this result real", "did the number reproduce", "recompute this metric", "check this backtest/AUC/accuracy", "I processed N rows", "the total is", "before I report this".
Install with
Claude CodeCodexCursorGitHub CopilotGemini CLI
Supported by the Atlas install prompt. Skill-specific requirements vary.
Skill stats
Skills1CategoryProduct & designStars0
About this skill
Independently verify a computational result by RE-EXECUTING it to ground truth and recomputing the headline number from raw outputs - then prove or break the claim. Use to check what an AI agent just produced (a metric, a backtest, a cleaned dataset, a "tests pass"), or as an inline guardrail an agent calls while it works. Recompute-and-diff against the claim + trivial-baseline edge, across domains and languages (quant Sharpe/return/drawdown; classification accuracy/AUC/F1/precision/recall; regression RMSE/MAE/R2; analytics row-count/column-sum/mean). Runs Python/R/Julia/C++/Rust as a black box. Deeper validity checks - leakage re-run, deflated-Sharpe/overfitting, realism deflators, contamination - are named roadmap (M3-M4), not yet delivered. Triggers: "verify", "is this result real", "did the number reproduce", "recompute this metric", "check this backtest/AUC/accuracy", "I processed N rows", "the total is", "before I report this".
Quick start
Copy the install prompt. Use the green button above this README.
Send it to your agent. Paste it into your coding agent’s chat and send.
Review the setup. Your agent checks the skill’s instructions, requirements, and installation scope.
Independently verify a computational result by RE-EXECUTING it to ground truth and recomputing the headline number from raw outputs - then prove or break the claim. Use to check what an AI agent just produced (a metric, a backtest, a cleaned dataset, a "tests pass"), or as an inline guardrail an agent calls while it works. Recompute-and-diff against the claim + trivial-baseline edge, across domains and languages (quant Sharpe/return/drawdown; classification accuracy/AUC/F1/precision/recall; regression RMSE/MAE/R2; analytics row-count/column-sum/mean). Runs Python/R/Julia/C++/Rust as a black box. Deeper validity checks - leakage re-run, deflated-Sharpe/overfitting, realism deflators, contamination - are named roadmap (M3-M4), not yet delivered. Triggers: "verify", "is this result real", "did the number reproduce", "recompute this metric", "check this backtest/AUC/accuracy", "I processed N rows", "the total is", "before I report this".
About this listing
Category
Product & design
Reported license
MIT
Listing language (estimated)
English
Review status
Not individually reviewed
Agent compatibility
Atlas installation supports Claude Code, Codex, and Cursor. Skill-specific dependencies and features are checked during setup.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLI