open-sets
CommunityTopology open set problem solver
Authorscooter-lacroix
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides strategies and tools for solving problems related to open sets in topology, particularly concerning continuity and topological properties.
Core Features & Use Cases
- Continuity Verification: Helps determine if a function is continuous using topological definitions (preimage of open sets).
- Open Set Verification: Assists in verifying if a given set is open in a metric space.
- Topological Properties: Defines and aids in working with interior, closure, and boundary of sets.
- Use Case: When proving a function is continuous in a topology course, use this skill to apply the correct definition and leverage symbolic solvers.
Quick Start
Use the open-sets skill to prove that the preimage of an open set under a function is open.
Dependency Matrix
Required Modules
z3-solver
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: open-sets Download link: https://github.com/scooter-lacroix/Maestro/archive/main.zip#open-sets Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.