Productivity · 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

Skill documentation

GitHub

Loading documentation from the source…

MAKE IT PART OF YOUR WORKFLOW

Install skill

TERMINAL

npx skills add stanfish06/skillquarium --skill logician

Run the command in your terminal. Review the code and license before installing.

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

Source code

Repository stars: Not synced
License: NOASSERTION
Version / branch: HEAD · d944f9dd
Repository updated: Not synced

Review scripts and permissions before installing.

Source code

logician

Skill documentation

More skills to explore

executing-plans

huashu-nuwa

cangjie-skill