Verify continuity and open set properties in topology using Z3 symbolic solvers.
npx skills add https://github.com/scooter-lacroix/Maestro --skill open-sets
Please help me install this Agent Skill. Skill: open-sets Source: https://github.com/scooter-lacroix/Maestro/tree/main/maestro/skills/math/math/topology/open-sets Command: npx skills add https://github.com/scooter-lacroix/Maestro --skill open-sets
This Skill provides strategies and tools for solving problems related to open sets in topology, particularly concerning continuity and topological properties.
Use the open-sets skill to prove that the preimage of an open set under a function is open.
High-intent search queries and answers about installing and using this skill.
To verify continuity using open sets, you need to prove that the preimage of every open set under a function is also open. This Skill applies topological definitions and leverages Z3 symbolic solvers to automate this verification process.
Proving a set is open in a metric space involves showing every point has a neighborhood contained within the set. This Skill assists in open set verification by applying metric space definitions and using Z3 solver constraints to validate the property.
Yes, you can use the Z3 solver to check topological properties. This Skill defines and aids in working with the interior, closure, and boundary of sets by translating topological definitions into symbolic constraints for the solver to evaluate.
The best way to automate continuity verification for general topological spaces is using a symbolic solver. This Skill supports metric and general topological spaces by formulating the preimage of open sets as logical constraints for Z3 to solve.
Yes, you need Python and z3-solver installed to work with open set topology problems. This Skill requires a Python runtime with z3-solver and uv to execute the symbolic logic necessary for continuity and topological verification.
AutumnsGroveAutomates Python project setup, dependency management and virtual environments using UV commands.
zbsayginAudit and correct mathematical notation in LaTeX and Markdown documents.
parcadeiVerify group axioms, test subgroups, and prove homomorphisms with Z3 and SymPy.
parcadeiComputes Hilbert space problems using symbolic computation and theorem proving with sympy and z3.
