FreeSkills
Knowledge wiki setup
- 418418 downloads
- 129129 likes
- 161161 saves
Works with
- Claude Code
- Codex
- Cursor
- and 3 more
Banach spaces and fundamental theorems v1.0.0
Use this resource to check completeness of a normed space and apply Banach's theorems
New
- 391 downloads
- 188 likes
- 102 saves
Free
Install with the CLI
In a terminal, from the folder you want:
npx --yes palatekit@latest install banach-space-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 follows a decision tree: it first checks that the space is complete, then picks the relevant theorem (Hahn-Banach, open mapping, closed graph). It backs each step with Z3 or SymPy checks. You get a justified approach for your exercise or proof.
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 and key theorems (Hahn-Banach, open mapping, closed graph)
- SKILL.md: Z3 and SymPy commands for each step
Good fit for
- You need to show that a normed space is a Banach space
- You are looking for which functional analysis theorem applies
Not for
Tags
- Banach spaces
- functional analysis
- theorem
- mathematics
About
You say
“Does a bounded surjective linear operator between two Banach spaces have a bounded inverse?”
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 check completeness of a normed space and apply Banach's theorems
- Review and adjust the result
Content preview
Files
- LICENSE1.1 KB
- NOTICE-PALATEKIT.md0.5 KB
- SKILL.md3.5 KB
Origin and licence
Listed unmodified
- Author
- parcadei
- Source
- github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/functional-analysis/banach-spaces
- Licence
- MIT
Notice
« banach-spaces » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.
User reviews
–
No ratings yet
Loading reviews…