Web Artifacts Builder
anthropics/skills
Builds multi-component claude.ai HTML artifacts as a small React, TypeScript and Tailwind project, then bundles it into one shareable HTML file.
Determine what premises and evidence warrant. An agent skill from TheGoat395/Codex-Skills.
Install Logical Thinking
$ npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install TheGoat395/Codex-Skills logical-thinking --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/TheGoat395/Codex-Skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/logical-thinking .claude/skills/logical-thinking && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "logical-thinking" agent skill from https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinking into .claude/skills/logical-thinking/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logical-thinking", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinkingType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install TheGoat395/Codex-Skills logical-thinking --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/TheGoat395/Codex-Skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/logical-thinking .agents/skills/logical-thinking && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "logical-thinking" agent skill from https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinking into .agents/skills/logical-thinking/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logical-thinking", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install TheGoat395/Codex-Skills logical-thinking --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/TheGoat395/Codex-Skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/logical-thinking .cursor/skills/logical-thinking && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "logical-thinking" agent skill from https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinking into .cursor/skills/logical-thinking/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logical-thinking", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/TheGoat395/Codex-Skills.git --path skills/logical-thinking--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install TheGoat395/Codex-Skills logical-thinking --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/TheGoat395/Codex-Skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/logical-thinking .gemini/skills/logical-thinking && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "logical-thinking" agent skill from https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinking into .gemini/skills/logical-thinking/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logical-thinking", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install TheGoat395/Codex-Skills logical-thinkingInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/TheGoat395/Codex-Skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/logical-thinking .github/skills/logical-thinking && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "logical-thinking" agent skill from https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinking into .github/skills/logical-thinking/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logical-thinking", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install TheGoat395/Codex-Skills logical-thinking --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/TheGoat395/Codex-Skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/logical-thinking .opencode/skills/logical-thinking && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "logical-thinking" agent skill from https://github.com/TheGoat395/Codex-Skills/tree/main/skills/logical-thinking into .opencode/skills/logical-thinking/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logical-thinking", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
logical-thinking- GitHub stars
- 126
- Token cost
- ~1.3k tokens
- SKILL.md length
- 593 words
- Files
- 6 (incl. references)
- Skills in repo
- 23
- Repo updated
- First seen
- Licence
- MIT
At a glance
Determine what premises and evidence warrant. An agent skill from TheGoat395/Codex-Skills.
- Frontend & Design work in your project
- SKILL.md covers Scale the proof to the question, Normalize the problem, Choose the inference family and Keep unknown open, plus 2 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Logical Thinking is an agent skill from TheGoat395/Codex-Skills. Determine what premises and evidence warrant.
Its SKILL.md is about 1.3k tokens, which your agent loads only when the skill is triggered. The skill folder holds 7 other files, including reference files (for example `agents/openai.yaml`, `references/causal-probabilistic-decision.md` and `references/documentation-evidence-conclusions.md`).
It sits in Frontend & Design. The repository describes itself as: Codex-first Agent Skills library for premium frontend, website, motion, accessibility, QA, and handoff workflows. The licence is MIT.
When your agent uses it
- Frontend & Design work in your project
Example prompts
- “/logical-thinking”
What it can do on your machine
Read from SKILL.md and the folder at commit feff772. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Logical Thinking loads about 1.3k tokens when it runs, and up to ~6k if it reads all its reference files. Until then it costs about 16 tokens; SKILL.md has 593 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from TheGoat395/Codex-Skills at commit feff772, republished under its MIT licence (© TheGoat395). 593 words, ~1,264 tokens.
Download SKILL.mdSave it as
.claude/skills/logical-thinking/SKILL.md (or your agent's skills folder). This skill also uses 5 other files; get the full folder from GitHub.- name
- logical-thinking
- description
- Determine what premises and evidence warrant.
Logical Thinking
Produce the strongest conclusion the available premises warrant, including unknown, conditional, or no conclusion when appropriate. Logical rigor means choosing the right inference system, preserving meaning and scope, checking each decisive step, and refusing to strengthen the result beyond its proof obligations.
Scale the proof to the question
Adapt the inference family; do not impose a universal template. Preserve meaning, units, scope and quantifiers. Test whether premises can hold while the conclusion fails; use decisive calculations, solvers, tests or observations. Correlated self-review is not independent verification.
For consequential, multi-step, ambiguous or contested inference, read proof and verification plus the applicable family below for maps, step checks, conclusion types and adversarial tests. Simple entailment/calculation remains direct.
Use conditional or unknown when warranted. Proven, must, causes, always and impossible require their own proof burden.
Normalize the problem
Before inference, identify:
- exact question and candidate conclusion;
- premises, observations, rules, and documentation;
- source/status of each premise: given, observed, documented, inferred, assumed, or disputed;
- definitions, entities, variables, units, timeframe, version, and domain;
- quantifiers and modal force: all, some, none, must, may, usually, likely;
- knowledge regime: closed world, open world, or incomplete real-world evidence;
- hidden premises required to connect the stated information.
Resolve semantic ambiguity before formalizing. Do not create precision by translating an unclear sentence into symbols without deciding what the sentence means.
Choose the inference family
| Family | Appropriate question | Valid conclusion form |
|---|---|---|
| Deductive | Must the conclusion follow? | entailed, contradicted, or unknown |
| Defeasible/informal | Is the argument presumptively reasonable? | supported unless a critical exception succeeds |
| Inductive | How strongly do observations generalize? | scoped probability or empirical support |
| Abductive | Which explanation best accounts for the evidence? | best current explanation, not proof |
| Causal | What would happen under intervention or counterfactual change? | association, intervention effect, or counterfactual claim |
| Probabilistic | How should uncertainty update? | posterior or calibrated range under assumptions |
| Documentary/rule | What does an authority establish here? | governing, permitted, required, documented, or unresolved applicability |
| Decision | Which action is preferable under uncertainty? | recommendation conditional on goals and tradeoffs |
For formal entailment, natural-language arguments, exceptions, or scheme-based reasoning, read formal and defeasible inference.
For causal, probabilistic, forecasting, or decision reasoning, read causal, probabilistic, and decision reasoning.
For conclusions from documentation, policies, tests, benchmarks, source code, or runtime evidence, read documentation and evidence conclusions.
Show full SKILL.md (221 more words)Show less
Keep unknown open
Under an open-world or incomplete-evidence regime:
- failure to prove C does not prove
not C; - failure to prove
not Cdoes not prove C; - one absent fact does not license a closed-world assumption unless the system explicitly defines one;
- inconsistent premises do not justify an arbitrary conclusion in ordinary analysis.
Classify a deductive target as:
- Entailed: every model satisfying the premises satisfies C.
- Contradicted: every model satisfying the premises satisfies
not C, or C directly conflicts with a controlling premise. - Unknown: both C and
not Cremain compatible with the premises. - Premises inconsistent: the premise set itself requires repair before ordinary inference.
Check premise consistency first, then classify the target as entailed, contradicted or unknown; do not force a binary answer from incomplete evidence.
Coordinate boundaries
Use critical-thinking when the central question is whether evidence, assumptions, incentives, or argument quality deserves confidence. Use evidence-reconciliation when conflicting authority or current source state controls. Use deep-research when premises must be discovered. Use creativity when the missing work is generating possibilities rather than adjudicating what follows.
Deliver
For simple problems, apply the protocol silently and answer directly. For consequential problems, report the normalized premises, inference family, decisive rule or test, exceptions or unknowns, verification performed, and strongest warranted conclusion. Show enough structure to audit the result without dumping private scratch reasoning.
© TheGoat395, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
SKILL.md and 5 other files (references) in skills/logical-thinking of TheGoat395/Codex-Skills.
- SKILL.md
- agents/openai.yaml
- references/causal-probabilistic-decision.md
- references/documentation-evidence-conclusions.md
- references/formal-defeasible-inference.md
- references/proof-and-verification.md
Open the folder on GitHubat commit feff772
Compare with similar skills
Logical Thinking next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Logical Thinking this skillTheGoat395/Codex-Skills | 126 | — | ~1.3k | Automated safety check: Pass | MIT | |
| Web Artifacts Builderanthropics/skills | 180k | 41 repos | ~769 | Automated safety check: Pass | Apache-2.0 | |
| React Doctormakeplane/plane | 61k | 12 repos | ~657 | Automated safety check: Pass | AGPL-3.0 | |
| Impeccablebestofjs/bestofjs | 3.1k | 27 repos | ~2.6k | Automated safety check: Pass | MIT | |
| Figma Design System Builderwarpdotdev/warp | 65k | 2 repos | ~4.4k | Automated safety check: Pass | AGPL-3.0 | |
| Web Interface Guidelines Reviewervercel-labs/openreview | 1.7k | 97 repos | ~308 | Automated safety check: Pass | None |
Similar skills
- Official
React Doctor
makeplane/plane
Scans React code for lint, accessibility, bundle size and architecture issues, reports a health score and checks that changes do not lower it.
Impeccable
bestofjs/bestofjs
A skill your agent uses when the user wants to design, redesign, shape, critique, audit, polish, clarify, distill, harden, optimize, adapt, animate, colorize, extract, or otherwise improve a…
Figma Design System Builder
warpdotdev/warp
Builds or updates a design system in Figma from a codebase in ordered phases: discovery, variables and tokens, components, theming and documentation, with checkpoints.
- Official
Web Interface Guidelines Reviewer
vercel-labs/openreview
Review UI code for Web Interface Guidelines compliance. Use when asked to "review my UI", "check accessibility", "audit design", "review UX", or "check my…
Tailwindcss Development
anonaddy/anonaddy
Always invoke when the user's message includes 'tailwind' in any form.
More from TheGoat395/Codex-Skills
All 23 skills in this repoPremium Visual Reference Library
TheGoat395/Codex-Skills
Find references, Viktor Oddy and MotionSites. An agent skill from TheGoat395/Codex-Skills.
Agent Evaluation Operations
TheGoat395/Codex-Skills
Evaluate agent and skill behavior or routing. An agent skill from TheGoat395/Codex-Skills.
Creativity
TheGoat395/Codex-Skills
Generate original ideas or escape fixation. An agent skill from TheGoat395/Codex-Skills.
Final Client Handoff
TheGoat395/Codex-Skills
Prepare verified ownership and delivery notes. An agent skill from TheGoat395/Codex-Skills.
Visual Regression Lab
TheGoat395/Codex-Skills
Compare captures; stitch lazy/animated pages. An agent skill from TheGoat395/Codex-Skills.
Web Reference Research
TheGoat395/Codex-Skills
Analyze selected sources: Viktor or MotionSites. An agent skill from TheGoat395/Codex-Skills.
Related
Categories
Questions about Logical Thinking
What does Logical Thinking do?
Determine what premises and evidence warrant. An agent skill from TheGoat395/Codex-Skills. Logical Thinking is an agent skill from TheGoat395/Codex-Skills. Determine what premises and evidence warrant.
When should I use Logical Thinking?
Logical Thinking fits situations like: frontend & Design work in your project.
How do I install Logical Thinking in Claude Code?
Run `npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a claude-code`. Or copy the skill folder (skills/logical-thinking in TheGoat395/Codex-Skills) into .claude/skills/logical-thinking in your project. Claude Code loads it when a task matches its description.
How do I install Logical Thinking in Codex?
Run `npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a codex`. Or copy the skill folder (skills/logical-thinking in TheGoat395/Codex-Skills) into .agents/skills/logical-thinking in your project. Codex loads it when a task matches its description.
Can I use Logical Thinking in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add TheGoat395/Codex-Skills --skill logical-thinking -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/logical-thinking, .gemini/skills/logical-thinking, .github/skills/logical-thinking and .opencode/skills/logical-thinking in your project.
What does Logical Thinking need to run?
SKILL.md names no scripts, command-line tools or credentials: Logical Thinking is instructions for the agent only.
Does Logical Thinking access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Logical Thinking safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Logical Thinking use?
Logical Thinking is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Logical Thinking use?
About 1.3k tokens (SKILL.md is roughly 5.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 4.8k tokens, read only when the agent opens those files.
What are the alternatives to Logical Thinking?
Skills that share tags, products or a category with Logical Thinking: Web Artifacts Builder (anthropics/skills, 180k stars), React Doctor (makeplane/plane, 61k stars), Impeccable (bestofjs/bestofjs, 3.1k stars) and Figma Design System Builder (warpdotdev/warp, 65k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Logical Thinking?
TheGoat395 (a GitHub user) maintains it in TheGoat395/Codex-Skills, which has 126 GitHub stars. The repository holds 23 skills in this directory. The repository was last updated on September 11, 2026.
Source: TheGoat395/Codex-Skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.