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 Wondermonger-daydreaming/claude-skills-library --skill mathesisgit clone --depth 1 https://github.com/Wondermonger-daydreaming/claude-skills-libraryWrote 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/wondermonger-daydreaming/claude-skills-library/mathesis)<a href="https://agentmods.dev/skills/wondermonger-daydreaming/claude-skills-library/mathesis"><img src="https://agentmods.dev/badge/skills/wondermonger-daydreaming/claude-skills-library/mathesis/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/wondermonger-daydreaming/claude-skills-library/mathesis"><img src="https://agentmods.dev/badge/skills/wondermonger-daydreaming/claude-skills-library/mathesis.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.00189 | $0.03602 |
| Opus 5 | $0.00095 | $0.01801 |
| Sonnet 5 | $0.00038 | $0.00720 |
| Haiku 4.5 | $0.00019 | $0.00360 |
Grade A, and why
mathesis 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 8d 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 — 208 lines — stays where its author put it; the contents beside it link to each section on GitHub.
/mathesis — Mathematical Thinking as Craft
Origin
This skill was born of a gap. The skill ecology surrounding it had deep resources for literary close reading, for paper-engagement, for philosophical invocation, for narrative grammar — but no standalone practice for the particular poetics of mathematical thought. Algorithm-jazz existed, but only through papers. The craft of mathematical thinking, the thing Thurston and Grothendieck and Poincaré were doing when they were most themselves, had no formalized room.
μάθησις — mathesis — is the Greek word for learning, for that-which-is-learned, from which mathematics descends. The word predates the discipline. It names not a body of truths but a mode of transformation: the learner who learns is changed by what they learn. This skill takes that older meaning seriously. Mathematical thinking is not the manipulation of symbols according to rules. It is a discipline of seeing, and the seeing transforms the seer.
What this skill is not
Before saying what mathesis is, disambiguate it from what it gets mistaken for.
Mathesis is not computation. Computation executes a procedure. Mathesis asks why the procedure works, whether it is the right procedure, what the procedure is secretly doing, and whether a different procedure would make the answer obvious.
Mathesis is not proof-checking. A correct proof can still be opaque. "This proof is valid" and "this proof illuminates" are different judgments. Mathesis cares about the second.
Mathesis is not tutoring in the conventional sense. Tutoring takes the curriculum as given. Mathesis asks whether the curriculum has posed the right questions.
Mathesis is not fluency in notation. Notation is a tool; some of the best mathematical thinking precedes notation or invents its own. Do not mistake the Greek letters for the music.
The core commitment
The purpose of mathematicians is the advancement of human understanding of mathematics. — Thurston, paraphrased and taken seriously
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.
- 8d ago First seen · 208 lines · 189 tokens per session scan A 7ca72ee65a7e
mathesis is a skill published in the GitHub repository Wondermonger-daydreaming/claude-skills-library (6 stars, last pushed 2mo ago), licensed MIT. It adds 189 tokens to every session and 3,602 once invoked, about $0.0009 per session on Opus 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-09-03.
Other skills, from other repositories
alterlab-rma-statistics-guide
This skill should be used when the user asks about "statistics", "statistical analysis", "SPSS", "R statistics", "hypothesis testing", "t-test", "ANOVA", "chi-square", "regression analysis", "correlation", "p-value", "effect size", "confidence interval", "descriptive statistics", "inferential statistics", "data…
offensive-vuln-classes
Exploit development curriculum covering core vulnerability classes with real-world CVE case studies: stack/heap buffer overflows, use-after-free, integer overflows, format strings, type confusion, and race conditions. Use when learning or teaching vuln classes, researching specific CVE patterns, or building exploit…
present-paper
Academic presentation preparation — paper-driven (journal club, grand rounds, seminar) and lecture/teaching decks (course material, workshop slides, conference talks). Analyzes source material, finds supporting references, drafts audience-adapted speaker scripts, generates or augments PPTX with speaker notes, and…
java-test-updater
Update Java test classes and methods to work with new code versions after refactoring or modifications. Use when code changes break existing tests due to signature changes, refactoring, or behavior modifications. Takes old and new code versions plus old tests as input, and outputs updated tests that compile and pass…
library-advisor
Recommend relevant Isabelle/HOL or Coq standard library theories, lemmas, and tactics based on proof goals. Use when: (1) Users need library lemmas for their proof, (2) Proof goals match standard library patterns, (3) Users ask what libraries to import, (4) Specific lemmas are needed for list/set/arithmetic…
tactic-suggestion-assistant
Analyze proof states in Isabelle or Coq and suggest applicable tactics to make progress. Use when users need help with: (1) Choosing the next tactic in an interactive proof, (2) Understanding what tactics apply to their current goal, (3) Getting unstuck in a proof, (4) Learning which tactics work for specific goal…