Skills
Explore every skill in AgentStack.
## Overview This skill enables validation in the domain of optimization (mathematics). It represents research-level-level expertise and is designed for production use in research, industry, and educational contexts. ## Description Use this skill when you need to perform validation operations related to optimization. This includes tasks such as: - find eigenvalues - find eigenvalues - find eigenvalues The skill leverages proof assistants and follows best practices established in the mathematics c