SkillAgentSearch skills...

Results for "formal-mathematics"

"formal-mathematics"
Claude CodeClaude DesktopGitHub CopilotCursorWindsurfClineZedJetBrains
📄SKILL.md🤖CLAUDE.md⚡Claude Commands📐.cursorrules📐Cursor Rules🕹️AGENTS.md🧬codex.md🏄.windsurfrules🔧.clinerules🧑‍✈️Copilot Instructions