🎯

codelogician

🎯Skill

from imandra-ai/imandrax-tools

codelogician

Installation

Vibe Index InstallInstalls to .claude/skills/ - auto-recognized by Claude Code
npx vibeindex add imandra-ai/imandrax-tools --skill codelogician
skills.sh Install⚠ Installs to .agents/skills/ - may not be auto-recognized by Claude Code
npx skills add imandra-ai/imandrax-tools --skill codelogician
Manual InstallCopy SKILL.md content and save to the path below
~/.claude/skills/codelogician/SKILL.md
1Installs
-
AddedMar 3, 2026