Terms Of Service
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing whether a website or web application has a visible Terms of Service link accessible from every page.
Protocol for assigning candidate finite meanings to uninterpreted original-side terms of a frozen calculus (Warp W1).
MITAuto-check passed
Install Term Pinning
$ npx skills add AHepi/DeepReason --skill term-pinning -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install AHepi/DeepReason term-pinning --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/AHepi/DeepReason.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/term-pinning .claude/skills/term-pinning && 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 "term-pinning" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/term-pinning into .claude/skills/term-pinning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "term-pinning", 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/AHepi/DeepReason/tree/main/skills/term-pinningType 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 AHepi/DeepReason --skill term-pinning -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install AHepi/DeepReason term-pinning --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/term-pinning .agents/skills/term-pinning && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "term-pinning" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/term-pinning into .agents/skills/term-pinning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "term-pinning", 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 AHepi/DeepReason --skill term-pinning -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install AHepi/DeepReason term-pinning --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/term-pinning .cursor/skills/term-pinning && 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 "term-pinning" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/term-pinning into .cursor/skills/term-pinning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "term-pinning", 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/AHepi/DeepReason.git --path skills/term-pinning--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 AHepi/DeepReason --skill term-pinning -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install AHepi/DeepReason term-pinning --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/term-pinning .gemini/skills/term-pinning && 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 "term-pinning" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/term-pinning into .gemini/skills/term-pinning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "term-pinning", 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 AHepi/DeepReason term-pinningInstalls 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 AHepi/DeepReason --skill term-pinning -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/term-pinning .github/skills/term-pinning && 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 "term-pinning" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/term-pinning into .github/skills/term-pinning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "term-pinning", 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 AHepi/DeepReason --skill term-pinning -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install AHepi/DeepReason term-pinning --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AHepi/DeepReason.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/term-pinning .opencode/skills/term-pinning && 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 "term-pinning" agent skill from https://github.com/AHepi/DeepReason/tree/main/skills/term-pinning into .opencode/skills/term-pinning/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "term-pinning", 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
term-pinning- GitHub stars
- 141
- Token cost
- ~524 tokens
- SKILL.md length
- 260 words
- Files
- 1
- Skills in repo
- 30
- Repo updated
- First seen
- Licence
- MIT
At a glance
Protocol for assigning candidate finite meanings to uninterpreted original-side terms of a frozen calculus (Warp W1).
- Works in 7 steps: Take the cluster the frozen catalog… → METHOD RULE: each pin is the WEAKEST… → Before drafting, build the occurrence… → …
- Any PIN- record work - selecting a cluster
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
- Drafting weakest-meaning pins
What it does
Term Pinning is an agent skill from AHepi/DeepReason. Protocol for assigning candidate finite meanings to uninterpreted original-side terms of a frozen calculus (Warp W1). Use for any PIN- record work - selecting a cluster, drafting weakest-meaning pins, polarity and vacuity checking, and recording OPEN remainders. Enforces the least-commitment method rule with machine-assisted side conditions.
Its SKILL.md is about 520 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
The licence is MIT.
When your agent uses it
- Any PIN- record work - selecting a cluster
- Drafting weakest-meaning pins
- Polarity and vacuity checking
- Recording OPEN remainders
Example prompts
- “/term-pinning”
Workflow steps
7 steps, taken from the first numbered list in SKILL.md.
- Take the cluster the frozen catalog order assigns; never pin ahead of
- METHOD RULE: each pin is the WEAKEST meaning that (i) makes every
- Before drafting, build the occurrence table: every location of the
- After drafting, run the vacuity probe: for each certificate row the
- Declare the bucket of every pin (definition / acceptance axiom /
- Enumerate the dependency cone (which rows, records, and future
- Label equality is never identity; an original term is never identified
What it can do on your machine
Read from SKILL.md and the folder at commit 9607fba. 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
Term Pinning loads about 524 tokens when it runs. Until then it costs about 89 tokens; SKILL.md has 260 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 AHepi/DeepReason at commit 9607fba, republished under its MIT licence (© AHepi). 260 words, ~524 tokens.
Download SKILL.mdSave it as
.claude/skills/term-pinning/SKILL.md (or your agent's skills folder).- name
- term-pinning
- description
- Protocol for assigning candidate finite meanings to uninterpreted original-side terms of a frozen calculus (Warp W1). Use for any PIN-* record work - selecting a cluster, drafting weakest-meaning pins, polarity and vacuity checking, and recording OPEN remainders. Enforces the least-commitment method rule with machine-assisted side conditions.
Term Pinning (Warp W1)
<!-- PROMPT-CORE-BEGIN -->You are pinning terms for a frozen calculus. Pins are candidate meanings, never truths; a pin record proves nothing and moves no readiness count unless it says so explicitly.
- Take the cluster the frozen catalog order assigns; never pin ahead of the declared sequence, never pin a term outside the cluster.
- METHOD RULE: each pin is the WEAKEST meaning that (i) makes every frozen occurrence of the term well-typed and (ii) preserves every distinction the calculus states in prose at those occurrences. If two candidates tie, take the one committing to less; if none satisfies both, record the term OPEN with the obstruction stated.
- Before drafting, build the occurrence table: every location of the term, its polarity there (positive / negated / mixed), and the row type (certificate, N-row, control). Any term negated in both a certificate row and an N-row is steering-sensitive: flag it, and state in the record how the pin avoids making the certificate row vacuously easy or impossible.
- After drafting, run the vacuity probe: for each certificate row the term occurs in, confirm the row is still satisfiable and still falsifiable under the pin. Record both directions.
- Declare the bucket of every pin (definition / acceptance axiom / import / bridge). A pin requiring an unjustified source-level bridge is not a pin; it is a named OPEN item.
- Enumerate the dependency cone (which rows, records, and future discharges the pin touches) without changing any count.
- Label equality is never identity; an original term is never identified with a fragment predicate.
<!-- PROMPT-CORE-END -->© AHepi, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
Just SKILL.md in skills/term-pinning of AHepi/DeepReason.
Open the folder on GitHubat commit 9607fba
Compare with similar skills
Term Pinning 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 |
|---|---|---|---|---|---|---|
| Term Pinning this skillAHepi/DeepReason | 141 | — | ~524 | Automated safety check: Pass | MIT | |
| Terms Of Servicethedaviddias/Front-End-Checklist | 74k | — | ~585 | Automated safety check: Pass | MIT | |
| Cross Origin Securitythedaviddias/Front-End-Checklist | 74k | — | ~595 | Automated safety check: Pass | MIT | |
| Cross Origin Isolationthedaviddias/Front-End-Checklist | 74k | — | ~565 | Automated safety check: Pass | MIT | |
| Origin APIcursor/plugins | 10k | — | ~694 | Automated safety check: Pass | MIT | |
| Ontology Term ResolutionK-Dense-AI/scientific-agent-skills | 48k | 1 repos | ~3.6k | Automated safety check: Notes | MIT |
Similar skills
Cross Origin Security
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing scripts, client components, bundles, or runtime behavior related to Handle cross-origin requests securely.
Cross Origin Isolation
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing security-sensitive web apps, SharedArrayBuffer usage, worker-heavy apps, editors, or measurement features that require cross-origin isolation.
- Official
Origin API
cursor/plugins
Routes questions about the Cursor Origin API to the right section of the Origin docs and names the few rules to check first.
Ontology Term Resolution
K-Dense-AI/scientific-agent-skills
Resolves free-text scientific labels to ontology term IDs and validates existing CURIEs against the EBI Ontology Lookup Service (OLS4).
Candidate Talent Pool
sickn33/agentic-awesome-skills
Candidate and prospect pool: contact details, experience, skills, consent status and date, referral source and last contact.
More from AHepi/DeepReason
All 30 skills in this repoPinker Clarity Workflow
AHepi/DeepReason
Orchestrate a Steven Pinker-grounded workflow for teaching, explanatory writing, or material that must do both.
Pinker Teach For Understanding
AHepi/DeepReason
Design, deliver, or audit explanations and lessons with a Pinker-informed focus on phenomena, the curse of knowledge, concrete models, active reasoning, feedback, and revision.
Pinker Write For Readers
AHepi/DeepReason
Draft, revise, teach, or audit expository prose using Pinker's cognitive approach to style: classic presentation, reader modeling, curse-of-knowledge repair, coherent information order, deliberate…
Example Battery
AHepi/DeepReason
Build a battery of concrete instances BEFORE writing or evaluating any definition, pin, or semantic clause (Reed step 1).
Authoring Skills
AHepi/DeepReason
Rules for writing, editing, and retiring skill and workflow files for LLM agents.
Deepreason Orchestrator
AHepi/DeepReason
Entry point for any DeepReason problem. An agent skill from AHepi/DeepReason.
Questions about Term Pinning
What does Term Pinning do?
Protocol for assigning candidate finite meanings to uninterpreted original-side terms of a frozen calculus (Warp W1). Term Pinning is an agent skill from AHepi/DeepReason. Protocol for assigning candidate finite meanings to uninterpreted original-side terms of a frozen calculus (Warp W1).
When should I use Term Pinning?
Term Pinning fits situations like: any PIN- record work - selecting a cluster; drafting weakest-meaning pins; polarity and vacuity checking; recording OPEN remainders.
How do I install Term Pinning in Claude Code?
Run `npx skills add AHepi/DeepReason --skill term-pinning -a claude-code`. Or copy the skill folder (skills/term-pinning in AHepi/DeepReason) into .claude/skills/term-pinning in your project. Claude Code loads it when a task matches its description.
How do I install Term Pinning in Codex?
Run `npx skills add AHepi/DeepReason --skill term-pinning -a codex`. Or copy the skill folder (skills/term-pinning in AHepi/DeepReason) into .agents/skills/term-pinning in your project. Codex loads it when a task matches its description.
Can I use Term Pinning 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 AHepi/DeepReason --skill term-pinning -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/term-pinning, .gemini/skills/term-pinning, .github/skills/term-pinning and .opencode/skills/term-pinning in your project.
What does Term Pinning need to run?
SKILL.md names no scripts, command-line tools or credentials: Term Pinning is instructions for the agent only.
Does Term Pinning 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 Term Pinning 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 Term Pinning use?
Term Pinning 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 Term Pinning use?
About 524 tokens (SKILL.md is roughly 2.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Term Pinning?
Skills that share tags, products or a category with Term Pinning: Terms Of Service (thedaviddias/Front-End-Checklist, 74k stars), Cross Origin Security (thedaviddias/Front-End-Checklist, 74k stars), Cross Origin Isolation (thedaviddias/Front-End-Checklist, 74k stars) and Origin API (cursor/plugins, 10k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Term Pinning?
AHepi (a GitHub user) maintains it in AHepi/DeepReason, which has 141 GitHub stars. The repository holds 30 skills in this directory. The repository was last updated on September 10, 2026.
Source: AHepi/DeepReason on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.