domains / research / formula-derivation / formula-derivation

formula-derivation

Skill card

authentic

The two copies are nearly identical. The copy from wanshuiyin/Auto-claude-code-research-in-sleep is the authentic source, as the other repository (brycewang-stanford/Auto-Empirical-Research-Skills) is a bulk catalog that mirrors skills from other repositories (indicated by the folder name '42-wanshuiyin-ARIS'). The only difference is that the authentic copy includes 'Skill(lean-formalize)' in its allowed-tools, which is a specific tool integration likely present in the original but stripped or not applicable in the mirror.

Repositories

Other copies