Use when comparing code or implementation against method descriptions in one or more source papers — covers decomposition of code into checkable claims (algorithm shape, hyperparameters, loss/objective terms, normalization, initialization, edge cases), per-claim grounding via the grounding-against-library kernel, math-verification fallback to the PDF via the handling-extraction-quality skill, and an assertion-table output mapping each code claim to its paper locus and a status (match / mismatch / partial / not-found). Multi-source. Also fires on phrasings like "compare this code/file against @ ", "does this implementation match the paper", "audit my implementation of ", "verify that this code follows @ ", "check whether the hyperparameters match", "does this loss function match what's in @ ".
Install with
Claude CodeCodexCursorGitHub CopilotGemini CLI
Supported by the Atlas install prompt. Skill-specific requirements vary.
Skill stats
Skills1CategoryScience & researchStars0
About this skill
Use when comparing code or implementation against method descriptions in one or more source papers — covers decomposition of code into checkable claims (algorithm shape, hyperparameters, loss/objective terms, normalization, initialization, edge cases), per-claim grounding via the grounding-against-library kernel, math-verification fallback to the PDF via the handling-extraction-quality skill, and an assertion-table output mapping each code claim to its paper locus and a status (match / mismatch / partial / not-found). Multi-source. Also fires on phrasings like "compare this code/file against @ ", "does this implementation match the paper", "audit my implementation of ", "verify that this code follows @ ", "check whether the hyperparameters match", "does this loss function match what's in @ ".
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.
Use when comparing code or implementation against method descriptions in one or more source papers — covers decomposition of code into checkable claims (algorithm shape, hyperparameters, loss/objective terms, normalization, initialization, edge cases), per-claim grounding via the grounding-against-library kernel, math-verification fallback to the PDF via the handling-extraction-quality skill, and an assertion-table output mapping each code claim to its paper locus and a status (match / mismatch / partial / not-found). Multi-source. Also fires on phrasings like "compare this code/file against @<citekey>", "does this implementation match the paper", "audit my implementation of <method>", "verify that this code follows @<citekey>", "check whether the hyperparameters match", "does this loss function match what's in @<citekey>".
About this listing
Category
Science & research
Reported license
Not specified
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