discover-formal - Claude Code Skill | AgentSkill