🎯

codelogician

🎯Skill

from imandra-ai/imandrax-tools

codelogician

Installation

Vibe Index InstallInstalls to .claude/skills/

npx vibeindex add imandra-ai/imandrax-tools --skill codelogician

skills.sh Install⚠ Installs to .agents/skills/

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

Last UpdatedJun 21, 2026