mathematical-logic-expert - AI Agent Skill for Claude Code & Cursor | Agent Skills