← All skills

ordered-locale

85 / 100 · Low risk

Fine to try.

By plurigrid/asi (GitHub) · other · 72 stars · scanned at commit 293ce9f

Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.

Works with any agent that supports SKILL.md skills.

What this skill can do

Other copies in this repository

plurigrid/asi has 3 more folders with a skill named ordered-locale. This page shows the lowest-scoring copy.

• plugins/asi/skills/ordered-locale 85/100 · Low risk
• skills/ordered-locale-proper 95/100 · Low risk
• plugins/asi/skills/ordered-locale-proper 95/100 · Low risk

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'ordered-locale' ] || [ -L ~/.agents/skills/'ordered-locale' ]; then echo 'A skill folder named ordered-locale already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/plurigrid/asi' "$d" && git -C "$d" checkout --quiet '293ce9f76e3abcd5ba18db284688bc0d9ac6691d' -- 'skills/ordered-locale' && mkdir -p ~/.agents/skills && cp -R "$d"/'skills/ordered-locale' ~/.agents/skills/'ordered-locale' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'ordered-locale' ~/.claude/skills/'ordered-locale' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for plurigrid/asi shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/plurigrid/asi.svg)](https://zalavijaysinh.github.io/skilltrust/repos/plurigrid/asi/)

Score history