Productividad · SKILL.md

logician

logician

Expert-thinking profile for Logician (proof theory / model theory / computability / set theory / formal verification (Lean, Coq, Z3)): Expert profile for logician — see AGENTS.md for field-specific methods and failure modes.

Independent GitHub snapshot · Automated classification · Original documentation governs

Sstanfish06 / skillquariumNOASSERTION

Documentación de la Skill

GitHub

Cargando documentación desde el origen…

MAKE IT PART OF YOUR WORKFLOW

Instalar Skill

TERMINAL

npx skills add stanfish06/skillquarium --skill logician

Ejecuta el comando en tu terminal. Revisa el código y la licencia antes de instalar.

Check the original repository for this skill’s terms and download options.

Código fuente

Estrellas del repositorio: Not synced
Licencia: NOASSERTION
Versión / rama: HEAD · d944f9dd
Repositorio actualizado: Not synced

Revisa los scripts y los permisos antes de instalar.

Código fuente

logician

Documentación de la Skill

More skills to explore

executing-plans

huashu-nuwa

cangjie-skill