Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.
Install
KitScout test notes
Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.
Similar tools
aeon57,090 ★ This skill should be used for time series machine learning tasks including classification, regression, cluster
anndata57,090 ★ Handles annotated matrices in single-cell analysis, .h5ad and Zarr files, and integration with the scverse eco
arbor57,090 ★ Applies Arbor Hypothesis Tree Refinement to research artifacts with repeatable evaluators, including model tra
arboreto57,090 ★ Infers candidate gene regulatory networks from bulk or single-cell expression data using AertsLab Arboreto GRN
astropy57,090 ★ Core Python library for astronomy and astrophysics workflows that need Astropy APIs, including units/quantitie