New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Type Resolution

by pikax in pikax/verter

Cross-file type resolution: type solver, ShallowFileState, ExternalTypeFrontier, canonical cache rules, macro traversal, prepared declarations

MITAuto-check passed

Install Type Resolution

skills CLI
$ npx skills add pikax/verter --skill type-resolution -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install pikax/verter type-resolution --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/pikax/verter.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/type-resolution .claude/skills/type-resolution && rm -rf skills-src

Use ~/.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/

Facts

Skill name
type-resolution
GitHub stars
112
Token cost
~1.2k tokens
SKILL.md length
297 words
Files
36 (incl. references)
Skills in repo
14
Repo updated
First seen
Licence
MIT

At a glance

Cross-file type resolution: type solver, ShallowFileState, ExternalTypeFrontier, canonical cache rules, macro traversal, prepared declarations

  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Type Resolution is an agent skill from pikax/verter. Cross-file type resolution: type solver, ShallowFileState, ExternalTypeFrontier, canonical cache rules, macro traversal, prepared declarations

Its SKILL.md is about 1.2k tokens, which your agent loads only when the skill is triggered. The skill folder holds 36 other files, including reference files (for example `references/cache-authority.md`, `references/canonical-dependency-cache.md` and `references/carrier-contracts.md`).

The repository describes itself as: Fast Rust-powered compiler, semantic extraction, and LSP for component frameworks. The licence is MIT.

Example prompts

  • “/type-resolution”

What it can do on your machine

Read from SKILL.md and the folder at commit e4f9d26. 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

Type Resolution loads about 1.2k tokens when it runs, and up to ~108k if it reads all its reference files. Until then it costs about 40 tokens; SKILL.md has 297 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~40
When it runs · the whole SKILL.md, loaded when a task matches
~1.2k
With references · SKILL.md plus every file in references/, read only if the agent opens them
~108k

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 pikax/verter at commit e4f9d26, republished under its MIT licence (© pikax). 297 words, ~1,196 tokens.

Download SKILL.mdSave it as .claude/skills/type-resolution/SKILL.md (or your agent's skills folder). This skill also uses 35 other files; get the full folder from GitHub.
name
type-resolution
description
Cross-file type resolution: type solver, ShallowFileState, ExternalTypeFrontier, canonical cache rules, macro traversal, prepared declarations

Type Resolution

Read the references below on demand for the mechanism being changed. The shared semantic query path, shallow indexing, canonical dependency cache and lazy projection contracts remain the authority for type resolution.

Each owner updates only its pre-registered reference file. Corrections to another owner's text go in the correcting owner's file as superseding notes; L4's documentation closure folds them in. The index is complete and stays unchanged as those owners land.

ReferenceTopicOwning task
test-and-guard-layout.mdFrontier tests and guard layoutSKR-ENGINE-TESTS
class-flow.mdPrepared class surfacesSKR-CLASS-1
class-flow-solve.mdSource-ordered class evaluation effectsSKR-CLASS-3
relation-ownership.mdSemantic dispatch and relation ownershipSKR-OWN-1
snapshot-freshness.mdReader-owned snapshot freshnessSKR-RET-F
declaration-headers.mdIndexed declarations and headersSKR-P-HEADERS
inference-owner.mdReverse recovery and inference ownershipSKR-INFER-1
continuation-runtime.mdQuery identity and continuation runtimeSKR-RUNTIME
conditional-decisions.mdConditional decisions and path projectionSKR-COND
semantic-observe.mdDerivation, provenance and observabilitySKR-OBS
parallel-execution.mdIndependent semantic demand executionSKR-PARALLEL
request-budget.mdRequest budgets and safety fusesSKR-FUSE
limits-and-retention.mdCache population, limits and retentionSKR-LIMITS
cache-authority.mdProject-Global Cache Authority (post-rewrite)TRS0
canonical-dependency-cache.mdCanonical Dependency Cache RuleTRS0
semantic-heuristic-prevention.mdSemantic Heuristic Prevention (CRITICAL)TRS0
typed-degradation.mdTyped Degradation And Completeness Contract (CRITICAL)TRS0
query-contracts.mdQuery Mode ContractTRS0
navigator-boundary.mdNavigator Boundary ContractTRS0
generic-navigation-and-expansion.mdGeneric Navigation And Expansion ContractTRS0
worked-examples.mdWorked ExamplesTRS0
shallow-file-state-and-frontier.mdShallow File State and Frontier EngineTRS0
retained-carriers.mdRetired solver surface and retained carriersTRS0
declaration-merging.mdDeclaration Merging (CRITICAL)TRS0
declaration-augmentation.mdDeclaration Augmentation (CRITICAL)TRS0
global-names.mdGlobal Names (one resolution path)TRS0
cross-file-compiler-integration.mdCross-File Type Resolution (Compiler Integration)TRS0
macro-type-traversal.mdMacro Type Traversal RuleTRS0
typed-ir-resolver.mdTyped-IR-Only Resolver Rule (CRITICAL)TRS0
carrier-contracts.mdPARSELOWER Carrier Contracts (handle-migration foundation)TRS0
flow-return-substrate.mdFlow-Return Substrate (U6)TRS0
tagged-component-publication.mdTagged-Component Publication: Root Admission Commits, Members BackfillTRS0
template-class-facts.mdTemplate class fact demandTRS0
reactive-wrapper-demand.mdReactive-wrapper demand (shared vocabulary)TRS0
signature-discovery.mdSignature discovery (SignaturesOfType / ReadSignatureResult)TRS0

© pikax, 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 35 other files (references) in .claude/skills/type-resolution of pikax/verter.

  • SKILL.md
  • references/cache-authority.md
  • references/canonical-dependency-cache.md
  • references/carrier-contracts.md
  • references/class-flow-solve.md
  • references/class-flow.md
  • references/conditional-decisions.md
  • references/continuation-runtime.md
  • references/cross-file-compiler-integration.md
  • references/declaration-augmentation.md
  • references/declaration-headers.md
  • references/declaration-merging.md
  • references/flow-return-substrate.md
  • references/generic-navigation-and-expansion.md
  • references/global-names.md
  • references/inference-owner.md
  • references/limits-and-retention.md
  • references/macro-type-traversal.md
  • references/navigator-boundary.md
  • references/parallel-execution.md
  • … and 16 more

Open the folder on GitHubat commit e4f9d26

Compare with similar skills

Type Resolution 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.

Type Resolution compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Type Resolution this skillpikax/verter112—~1.2kAutomated safety check: PassMIT
Solveratopile/atopile4k—~2.3kAutomated safety check: PassMIT
Review Hog Resolution CriteriaPostHog/posthog40k—~1.4kAutomated safety check: PassCustom licence
Ontology Term ResolutionK-Dense-AI/scientific-agent-skills48k1 repos~3.6kAutomated safety check: NotesMIT
3D Retina ResolutionMengTo/Skills6.7k—~1.6kAutomated safety check: PassMIT
3D High Resolution TexturesMengTo/Skills6.7k—~1.4kAutomated safety check: PassMIT

Similar skills

  • Solver

    atopile/atopile

    How the Faebryk parameter solver works (Sets/Literals, Parameters, Expressions), the core invariants enforced during mutation, and practical workflows for debugging and extending the solver.

    4k GitHub stars~2.3k tokensUpdated 3 mo ago
    DevelopmentAuto-check passed

  • Review Hog Resolution Criteria

    PostHog/posthog

    Official

    The resolution criteria for PostHog Review's resolution stage: the bar for deciding, per unresolved review thread, whether the ask is worth implementing and safe to implement unattended.

    40k GitHub stars~1.4k tokensUpdated today
    Auto-check passed

  • 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).

    48k GitHub starsUsed in 1 repo~3.6k tokens
    Research & ScienceAuto-check: notes

  • 3D Retina Resolution

    MengTo/Skills

    Render a 3D canvas sharply on Retina and HiDPI displays, including explicit 200 percent resolution, synchronized renderer and post-processing sizes, correct pointer coordinates, and measured quality…

    6.7k GitHub stars~1.6k tokensUpdated yesterday
    Game DevelopmentAuto-check passed

  • 3D High Resolution Textures

    MengTo/Skills

    Build sharp, physically coherent high-resolution materials for 3D rendering with appropriate PBR maps, texel density, UV direction, mipmaps, anisotropic filtering, and progressive asset delivery.

    6.7k GitHub stars~1.4k tokensUpdated yesterday
    Game DevelopmentAuto-check passed

  • Module Resolution

    live-codes/livecodes

    Import npm, deno.land/x, jsr, and GitHub modules without build steps using automatic CDN resolution, custom import maps, and CDN provider prefixes.

    1.5k GitHub stars~1.7k tokensUpdated today
    Auto-check passed

More from pikax/verter

All 14 skills in this repo

  • Debug Tooling

    pikax/verter

    In-process backtrace watchdog + LLDB attach wrapper + release-dbg profile for diagnosing hangs and slow paths in Verter benches and binaries on Windows / macOS / Linux.

    112 GitHub stars~1.9k tokensUpdated today
    Auto-check passed

  • Agent Prompts

    pikax/verter

    Generate copy-pasteable prompts for driving separate Claude Code sessions through refactor, review, or migration work.

    112 GitHub stars~5k tokensUpdated today
    Auto-check: warnings

  • Build And Profiling

    pikax/verter

    Build dependency chains, rebuild sequences, profiling with MCP, and Analysis MCP server setup for Verter

    112 GitHub stars~4.3k tokensUpdated today
    Auto-check passed

  • Compiler Codegen

    pikax/verter

    Rust compiler pipeline, template codegen (VDOM/IDE), CodeTransform, cached directives, strict slots, IDE error recovery, style preprocessing, CompileTarget, compiler authority/policy/demand/admission

    112 GitHub stars~21k tokensUpdated today
    Auto-check passed

  • Mom Cto Orchestration

    pikax/verter

    CTO/manager-of-managers methodology for autonomous multi-train plans where the user says "you are the MoM/CTO", "orchestrate the whole plan", "drive the migration end-to-end", "manager-of-managers"…

    112 GitHub stars~3.5k tokensUpdated today
    Auto-check passed

  • Rust Performance

    pikax/verter

    Rust performance optimization patterns: batch operations, allocation hierarchy, object pooling, CodeTransform API for vertercompiler

    112 GitHub stars~2.8k tokensUpdated today
    Auto-check passed

Questions about Type Resolution

What does Type Resolution do?

Cross-file type resolution: type solver, ShallowFileState, ExternalTypeFrontier, canonical cache rules, macro traversal, prepared declarations. Type Resolution is an agent skill from pikax/verter.

How do I install Type Resolution in Claude Code?

Run `npx skills add pikax/verter --skill type-resolution -a claude-code`. Or copy the skill folder (.claude/skills/type-resolution in pikax/verter) into .claude/skills/type-resolution in your project. Claude Code loads it when a task matches its description.

How do I install Type Resolution in Codex?

Run `npx skills add pikax/verter --skill type-resolution -a codex`. Or copy the skill folder (.claude/skills/type-resolution in pikax/verter) into .agents/skills/type-resolution in your project. Codex loads it when a task matches its description.

Can I use Type Resolution 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 pikax/verter --skill type-resolution -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/type-resolution, .gemini/skills/type-resolution, .github/skills/type-resolution and .opencode/skills/type-resolution in your project.

What does Type Resolution need to run?

SKILL.md names no scripts, command-line tools or credentials: Type Resolution is instructions for the agent only.

Does Type Resolution 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 Type Resolution 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 Type Resolution use?

Type Resolution 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 Type Resolution use?

About 1.2k tokens (SKILL.md is roughly 4.8k 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 107k tokens, read only when the agent opens those files.

What are the alternatives to Type Resolution?

Skills that share tags, products or a category with Type Resolution: Solver (atopile/atopile, 4k stars), Review Hog Resolution Criteria (PostHog/posthog, 40k stars), Ontology Term Resolution (K-Dense-AI/scientific-agent-skills, 48k stars) and 3D Retina Resolution (MengTo/Skills, 6.7k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Type Resolution?

pikax (a GitHub user) maintains it in pikax/verter, which has 112 GitHub stars. The repository holds 14 skills in this directory. The repository was last updated on October 8, 2026.

Source: pikax/verter on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.