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.
npx skills add leventilo/mobius --skill claim-extractorgit clone --depth 1 https://github.com/leventilo/mobiusWrote 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.
[](https://agentmods.dev/skills/leventilo/mobius/claim-extractor)<a href="https://agentmods.dev/skills/leventilo/mobius/claim-extractor"><img src="https://agentmods.dev/badge/skills/leventilo/mobius/claim-extractor/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.
<a href="https://agentmods.dev/skills/leventilo/mobius/claim-extractor"><img src="https://agentmods.dev/badge/skills/leventilo/mobius/claim-extractor.svg" alt="Reviewed on agentmods" width="80" height="20"></a>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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00028 | $0.01112 |
| Opus 5.5 | $0.00011 | $0.00445 |
| Sonnet 5.5 | $0.00006 | $0.00222 |
| Haiku 4.5 | $0.00003 | $0.00111 |
Grade A, and why
claim-extractor 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.
How it starts
The opening of the file, as written. The whole thing — 116 lines — stays where its author put it; the contents beside it link to each section on GitHub.
claim-extractor
Purpose and scope
This skill walks the paper body, the figure captions, and the surrounding
context of every equation, and returns a list of paper-anchored numerical
claims that downstream skills (simspec-author, science-integrity,
paper-diff) can compare against simulation telemetry.
The skill does NOT extract equations (that is paper-parser), does not
classify regimes (physics-interpreter), and does not generate code
(primitive-generator). It is a typed-extract stage: paper-parser artifacts
in, validated numerical_claims[] out, every claim traceable to a verbatim
source quote.
Input
The skill expects two artifacts on disk in the current working directory:
paper.jsonfrompaper-parser— the full structured paper record withequations[],figures[], body text, and the paper-level metadata.text_body.json(optional) — the segmented paper body keyed by section anchor. When absent, the skill readspaper.jsonbody text inline.
Algorithm
- Concatenate body text (skipping References / Bibliography), all figure captions, and the surrounding context of every equation.
- Chunk into ~4000-token segments with 500-token overlap.
- For each chunk, call Opus 4.7 with a strict extraction prompt (no formula symbols, no page numbers, no years).
- Merge chunk results, deduplicate by
(value, unit_ucum, source_quote[:50]). - Normalize units via Pint loaded with UCUM-compatible definitions. When a unit cannot be parsed, keep the raw string and lower the confidence.
- Assign a stable
idto every claim (snake-case derived from the symbol or the description; collisions resolved with a numeric suffix).
Output format (mandatory)
You MUST emit your final output as a single fenced json block at the END of your reply, with NO prose after the closing fence. The orchestrator parses that block by regex (`/(?:json)?\s*\n([\s\S]?)\n\s```/`) and ignores
everything else in your text content.
The canonical artifact for claim-extractor (consumed downstream as
ClaimsJson in server/src/types.ts):
What ships with it
1 file beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
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.
- 2mo ago First seen · 116 lines · 28 tokens per session scan A 14d47d04e250
claim-extractor is a skill published in the GitHub repository leventilo/mobius (8 stars, last pushed 6mo ago), licensed MIT. It adds 28 tokens to every session and 1,112 once invoked, about $0.0001 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other skills, from other repositories
instrument-data-to-allotrope
Convert laboratory instrument output files (PDF, CSV, Excel, TXT) to Allotrope Simple Model (ASM) JSON format or flattened 2D CSV. Use this skill when scientists need to standardize instrument data for LIMS systems, data lakes, or downstream analysis. Supports auto-detection of instrument types. Outputs include full…
matlab
Builds, reviews, migrates, and plans MATLAB or GNU Octave numerical workflows. Use for arrays, tabular/time data, tests, projects, graphics, MAT files, and explicit Python interoperability.
exploratory-data-analysis
Performs bounded, local exploratory analysis of explicitly supported scientific files. Supports redacted CSV/TSV/JSON profiles; optional NumPy, HDF5, FASTA/FASTQ, and basic image metadata inspection; missingness/leakage audits; outlier and transformation sensitivity; and rigorous EDA report scaffolds. Other domain…
phylogenetics
Builds and analyzes phylogenetic trees using MAFFT multiple sequence alignment, IQ-TREE maximum likelihood with ModelFinder and branch support, and FastTree approximate inference. Uses ETE3 for tree summaries and visualization. Applies to homologous nucleotide or protein sequences, microbial gene trees, protein…
research-engineer
An uncompromising Academic Research Engineer. Operates with absolute scientific rigor, objective criticism, and zero flair. Focuses on theoretical correctness, formal verification, and optimal implementation across any required technology.
presenting-conference-talks
Generates conference presentation slides (Beamer LaTeX PDF and editable PPTX) from a compiled paper with speaker notes and talk script. Use when preparing oral talks, spotlight presentations, or invited talks for ML and systems conferences.