nasqret

Labyrinth Exploration — Development skill for Claude Code

Development community

A Claude Code skill for open-ended research as the exploration of a labyrinth: a map of what is proved, refuted, conjectured and still dark, tiers that keep proof apart from speculation, referees, and.

How to install Labyrinth Exploration

This entry records only its repository, not the path inside it, so there is no exact command to give. Open nasqret/labyrinth-exploration and copy the folder into ~/.claude/skills/, or the file into ~/.claude/agents/.

What Labyrinth Exploration does

Alternatives in Development

Exploration — /exploration — Solution Quality Check 558 ★
Maestro Learn — User-invoked learning toolkit — guided reading, investigation, pattern extraction, or second opinions 530 ★
Trust Tiers — Trust Tier Badges 325 ★

README

Labyrinth exploration: a maze in which the explored corridors are charted in blue, refuted dead ends are hatched in rust, open doors at the edge of the map are gold, hunches in the dark are dashed pink circles, and the rest is grey fog.

Labyrinth exploration

**A [Claude Code](https://claude.com/claude-code) skill for open-ended research**: mathematics, theoretical science, algorithms, anywhere the goal is to find out what is still unknown.

The skill treats a research programme as the exploration of a labyrinth. Claude keeps an exact map of where you are:

which corridors are charted (proved, or computed exhaustively);
which are walled off (refuted, or impossible);
which doors are visible but not yet entered (questions, conjectures);
where it is still dark.

Every session starts from that map and leaves it changed. A refutation counts as progress: it turns a hoped-for corridor into a wall and usually reveals a new door.

Proof stays apart from speculation. Every claim carries a tier, from T1 (proved in the literature) to T6 (a hunch). Nothing below T3 is ever cited as a fact, and hunches are kept on the board on purpose, clearly marked.
"How much is left" becomes a number. For each size, every admissible value is classified as realized, impossible, conditional, conjecturally impossible or unknown. The dashboard shows the resolved share and how it moved over time.
Nothing is used before it is checked. Results from agents or external models pa