equinor/neqsim/paperlab-derivation-symbolic-checking

Name: paperlab-derivation-symbolic-checking
Author: equinor

Claude Code and agent skill by equinor/neqsim

Trust tier 3

community

By equinor
Design
equinor/neqsim
neqsim-paperlab/skills/paperlab-derivation-symbolic-checking/SKILL.md
Updated 5 Oct 2026
Version 1.0.01 version recorded

Source check pending

Checking that the SKILL.md file is still in the repository.

Check PaperLab mathematical derivations for assumptions, dimensional consistency, limiting cases, notation, and NeqSim implementation linkage.

Install

npx vskill@latest install equinor/neqsim/paperlab-derivation-symbolic-checking

SKILL.md

PaperLab Derivation Symbolic Checking

When to Use

USE WHEN: a paper or book includes a new method, equation derivation, algorithm description, Jacobian, residual formulation, or thermodynamic identity.

Audit Dimensions

Dimension	Questions
Assumptions	Are phase, EOS, ideality, and differentiability assumptions explicit?
Units	Are both sides dimensionally consistent?
Symbols	Are symbols defined once and reused consistently?
Limiting cases	Does the equation reduce correctly for simple or ideal cases?
Code linkage	Is there a Java method, notebook, or test implementing the equation?

Output Schema

json

{
  "equations": [
    {
      "label": "residual_jacobian",
      "status": "needs_fix",
      "issues": ["symbol J reused for flux and Jacobian"],
      "limiting_cases_checked": ["ideal gas", "zero association"],
      "implementation_link": "neqsim.package.Class#method"
    }
  ]
}

Pass Criteria

Each derivation states assumptions.
Units and symbols are consistent.
At least one limiting case or reference comparison is described.
Implementation or test linkage exists for computational methods.

Safety Rules

Do not present dimensional consistency as mathematical proof.
If symbolic algebra cannot be run, state that the review is manual.
Keep corrections minimal and tied to the manuscript text.

Security

Security scanPassed, 95 of 100Pattern checks on the skill's files.
Model reviewPassed

See the full security report

Quality evaluation

Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

SKILL.md in the repositoryCheckingneqsim-paperlab/skills/paperlab-derivation-symbolic-checking/SKILL.md

Popularity

Repository stars: 156
Repository forks: 72
7-day trend score: 30

Stars and forks are for the whole GitHub repository, not this skill alone. Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

Claude Code
Cursor
GitHub Copilot
Windsurf
Codex
Gemini CLI
Cline
Amp
Roo Code
Goose
Continue
Kilo Code
Junie
Trae
OpenHands
Qwen Code
AI Agent
Tabnine Chat
Sourcegraph Cody
Amazon Q
Firebase Genkit
Sweep
Devin
Phind
Mentat
Claude Desktop
Aider
GPT Pilot
Plandex
bolt.new
v0
Replit Agent
Anse
TypingMind
BetterChatGPT
LibreChat
Warp AI
Pieces
Fig AI

Embed badge

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/equinor/neqsim/paperlab-derivation-symbolic-checking/badge)](https://verified-skill.com/skills/equinor/neqsim/paperlab-derivation-symbolic-checking)

Something wrong with this skill or its page? Tell us.