🎯

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