agentmods.dev

formula-derivation

formula-derivation is a skill for Claude Code from raja21068/AutoResearch. It costs 84 tokens per session (2,000 once invoked), scanned A, a copy of formula-derivation, MIT.

A tool for turning scattered research notes and equations into a clear mathematical derivation. It can distinguish an exact identity, a result that needs assumptions, an approximation, or an interpretation of how something works.

In plain words
What is it for?
Use it to derive formulas, organize a theory section, check whether a proposed argument is coherent, and prepare paper-ready mathematical notes.
Why use it?
It helps reveal missing definitions, unclear assumptions, and broken steps before a formula is presented as a polished research result.

Skill for Claude Code

Written for Claude Code: allowed-tools in frontmatter.

not rated 2repo 6mo ago A scan 84 tokens copy · 100% MIT

Good fit Use it to derive formulas, organize a theory section, check whether a proposed argument is coherent, and prepare paper-ready mathematical notes.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/raja21068/autoresearch/formula-derivation
View source ↗ raja21068/AutoResearch
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add raja21068/AutoResearch --skill formula-derivation
Clone the repo
git clone --depth 1 https://github.com/raja21068/AutoResearch

Made for: Claude Code.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for formula-derivation

README.md
[![agentmods](https://agentmods.dev/badge/skills/raja21068/autoresearch/formula-derivation/github.svg)](https://agentmods.dev/skills/raja21068/autoresearch/formula-derivation)
Your own site
<a href="https://agentmods.dev/skills/raja21068/autoresearch/formula-derivation"><img src="https://agentmods.dev/badge/skills/raja21068/autoresearch/formula-derivation/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for formula-derivation

Your own site · 80×15
<a href="https://agentmods.dev/skills/raja21068/autoresearch/formula-derivation"><img src="https://agentmods.dev/badge/skills/raja21068/autoresearch/formula-derivation.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 84 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 2,000 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin 100% copy Near-identical to another mod in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00084 $0.02000
Opus 5.5 $0.00034 $0.00800
Sonnet 5.5 $0.00017 $0.00400
Haiku 4.5 $0.00008 $0.00200

Measured 2mo ago against content hash 3f1ce5b87c4b, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

formula-derivation scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2mo ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

Origin

This is a copy

100% identical to formula-derivation — 9 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.

skills/aris/formula-derivation/SKILL.md · 281 lines

How it starts

The opening of the file, as written. The whole thing — 281 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Formula Derivation: Research Theory Line Construction

Build an honest derivation package, not a fake polished theorem story.

Constants

  • DEFAULT_DERIVATION_DOC = DERIVATION_PACKAGE.md in project root
  • STATUS = COHERENT AS STATED | COHERENT AFTER REFRAMING / EXTRA ASSUMPTION | NOT YET COHERENT

Context: $ARGUMENTS

Goal

Produce exactly one of:

  1. a coherent derivation package for the original target
  2. a reframed derivation package with corrected object / assumptions / scope
  3. a blocker report explaining why the current notes cannot yet support a coherent derivation

Inputs

Extract and normalize:

  • the target phenomenon, formula, relation, or theory line
  • the intended role of the derivation:
    • exact identity / algebra
    • proposition / local theorem
    • approximation
    • mechanism interpretation
  • explicit assumptions
  • notation and definitions
  • any user-provided formula chain, sketch, messy notes, or current draft
  • nearby local theory files if the request points to them
  • desired output style if specified:
    • internal alignment note
    • paper-style theory draft
    • blocker report

If the target, object, notation, or assumptions are ambiguous, state the exact interpretation you are using before deriving anything.

Workflow

Step 1: Gather Derivation Context

Determine the target derivation file with this priority:

  1. a file path explicitly specified by the user
  2. a derivation draft already referenced in local notes
  3. DERIVATION_PACKAGE.md in project root as the default target

Read the relevant local context:

  • the chosen target derivation file, if it already exists
  • any local theory notes, formula drafts, appendix notes, or files explicitly mentioned by the user

Extract:

  • target formula / theory goal
  • current formula chain
  • assumptions
  • notation
  • known blockers
  • desired output mode

Step 2: Freeze the Target

State explicitly:

  • what is being explained, derived, or supported
  • whether the immediate goal is:
    • identity / algebra
    • proposition
    • approximation
    • interpretation
  • what the derivation is expected to output in the end

Read the full file on GitHub · 281 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2mo ago First seen · 281 lines · 84 tokens per session scan A 3f1ce5b87c4b

Subscribe to this mod's changes

formula-derivation is a skill published in the GitHub repository raja21068/AutoResearch (2 stars, last pushed 6mo ago), licensed MIT. It adds 84 tokens to every session and 2,000 once invoked, about $0.0003 per session on Opus 5.5. A static security scan graded it A with 0 findings. It is 100% identical to formula-derivation, differing in 9 lines, and is treated as a copy.

Claude CodeScientificWriting and docsagentic-aianthropicantigravityarvixautomated-paper-writing
Related

formula-derivation compared with skills from other repositories

formula-derivation next to 6 skills from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
formula-derivationraja21068/AutoResearchSkill26mo agoMITA84Claude Code
content-refinement-agentAr9av/PaperOrchestraSkill7019d agononeA145Claude Code, Codex
section-writing-agentAr9av/PaperOrchestraSkill7019d agononeA125Claude Code, Codex
plotting-agentAr9av/PaperOrchestraSkill7019d agononeA102Claude Code, Codex
outline-agentAr9av/PaperOrchestraSkill7019d agononeA99Claude Code, Codex
paper-autoratersAr9av/PaperOrchestraSkill7019d agononeA121Claude Code, Codex
paper-writing-benchAr9av/PaperOrchestraSkill7019d agononeA97Claude Code, Codex