open-sets

Community

Topology 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.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.