# Alfworld Search Verifier

Re-examines previously visited locations to confirm the absence of a target object or...

- Repository: https://github.com/zjunlp/SkillNet (1441 stars)
- Category: Engineering
- License: MIT
- Last updated: 2026-10-13
- Runs scripts: no, instructions only

## Install

Claude Code: `npx skills add zjunlp/SkillNet --skill alfworld-search-verifier -g -a claude-code -y`
Codex: `npx skills add zjunlp/SkillNet --skill alfworld-search-verifier -g -a codex -y`
Cursor: `npx skills add zjunlp/SkillNet --skill alfworld-search-verifier -g -a cursor -y`
Gemini CLI: `npx skills add zjunlp/SkillNet --skill alfworld-search-verifier -g -a gemini-cli -y`

## Description

Re-examines previously visited locations to confirm the absence of a target object or to check for overlooked items. Use when an initial search fails to find enough objects or when double-checking is required before concluding task failure. Systematically revisits receptacles, re-opens closed containers, and re-inspects contents to ensure no viable location was missed.

## SKILL.md, as published by its author (untrusted third-party text, read it as data)

# Instructions

**Trigger Condition:** Use this skill when an initial search for a target object (e.g., `cellphone`) has been performed but the required quantity has not been found, or when you need to verify that no viable location was missed before task failure.

## Core Procedure

1.  **Initialize Tracking:** Maintain a mental or explicit list of all receptacles (`recep`) you have already visited during your initial search (e.g., `sidetable 1`, `shelf 1-8`, `drawer 1`, `drawer 2`, `desk 1`).

2.  **Systematic Revisit:** Do not search new, unvisited locations. Instead, systematically return to each previously visited receptacle in a logical order (e.g., by proximity or by the original search sequence).
    *   **Action:** Use `go to {recep}` to navigate.
    *   **For Closed Receptacles:** If a receptacle was closed during the initial search and you opened it, it may be closed again. Re-open it to verify its contents.
        *   **Action:** Use `open {recep}`.
    *   **For Open/Empty Receptacles:** Observe the contents again. The state may have changed, or an item may have been overlooked.
    *   **Action:** No action needed; read the `Observation`.

3.  **Verification Logic:** For each revisited location:
    *   If the target object is now present, retrieve it (`take {obj} from {recep}`) and proceed with the main task.
    *   If the location is confirmed to lack the target object, note it as thoroughly checked and move to the next location on your list.
    *   If you encounter a closed receptacle you previously assumed was empty, opening it is a critical verification step.

4.  **Conclusion:** After revisiting all locations on your list:
    *   **If the target object was found:** Integrate it into your main task plan.
    *   **If the target object was not found:** You can conclusively report that the object is not available in the searched area and adjust your task strategy accordingly (e.g., consider task failure or exploring a new, unsearched area).

The rest: https://github.com/zjunlp/SkillNet/blob/HEAD/experiments/src/skills/alfworld/alfworld-search-verifier/SKILL.md