FreeSkills
Knowledge wiki setup
- 418418 downloads
- 129129 likes
- 161161 saves
Works with
- Claude Code
- Codex
- Cursor
- and 3 more
Integration theory: convergence and measure v1.0.0
Use this resource to apply convergence theorems to an integral
New
- 600 downloads
- 240 likes
- 143 saves
Free
Install with the CLI
In a terminal, from the folder you want:
npx --yes palatekit@latest install lebesgue-convergence-theoremsWith no option, the skill goes to ~/.agents/skills/; add --agent claude-code (or codex, cursor…) to target an agent.
First time: connect the CLI with
npx --yes palatekit@latest loginThe agent decides whether a sequence of functions falls under monotone convergence, dominated convergence or Fatou's lemma, then checks the hypotheses and the limit. It uses SymPy for simple integrals and Z3 for the conditions. You get a verified approach to moving the limit inside the integral.
Mostly picked by
Updated November 2, 2026
Previews
Details
- Install guides
- Generates with
- Your agent's model
- Licence
- MIT
Similar resources
View all- Free
FreeSkills
Wiki health check
- 552552 downloads
- 202202 likes
- 127127 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Ask your wiki
- 374374 downloads
- 131131 likes
- 214214 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki source ingestion
- 315315 downloads
- 230230 likes
- 246246 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki auditor agent
- 556556 downloads
- 205205 likes
- 192192 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
UX research assistant
- 598598 downloads
- 142142 likes
- 236236 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki ingestion agent
- 437437 downloads
- 162162 likes
- 191191 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
FreeSkills
Wiki librarian agent
- 304304 downloads
- 120120 likes
- 217217 saves
Works with- Claude Code
- Codex
- Cursor
- and 3 more
What you get
- SKILL.md: decision tree (simple integral, monotone convergence, dominated convergence, Fatou's lemma)
- SKILL.md: SymPy and Z3 commands to check each hypothesis
Good fit for
- You need to pass a limit under the integral sign
- You are reviewing Fatou's lemma or the convergence theorems
Not for
Tags
- Lebesgue integral
- convergence
- measure
- analysis
About
You say
“Can we swap the limit and the integral for this sequence of functions on [0, 1]?”
Skill published by parcadei under the MIT license, delivered in its original version.
Show moreShow less
How to use it
- Install the skill in your agent's skills folder
- Ask your agent to apply convergence theorems to an integral
- Review and adjust the result
Content preview
Files
- LICENSE1.1 KB
- NOTICE-PALATEKIT.md0.5 KB
- SKILL.md3.7 KB
Origin and licence
Listed unmodified
- Author
- parcadei
- Source
- github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/measure-theory/integration-theory
- Licence
- MIT
Notice
« integration-theory » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
User reviews
–
No ratings yet
Loading reviews…