questionably-ultrathink

Questionably UltraThink

Advanced reasoning plugin integrating Atom of Thoughts (AoT) and Chain of Verification (CoVe) frameworks.

Installation

Claude Code

# Add the marketplace
/plugin marketplace add snowmead/questionably-ultrathink

# Install the plugin
/plugin install questionably-ultrathink@snowmead-marketplace

Other AI Agents (OpenCode, Cursor, Codex, etc.)

bunx skills add snowmead/questionably-ultrathink

This installs the skill to your agent's skill directory automatically.

Usage

Automatic Activation

The skill automatically activates when you use trigger phrases:

• "be thorough", "analyze carefully", "make sure this is right"
• "verify", "double-check", "are you sure"
• Complex multi-part questions
• Architecture or security decisions

How It Works

1. Atom of Thoughts (AoT) - Decomposes complex problems into atomic sub-questions organized as a DAG
2. Chain of Verification (CoVe) - Verifies each answer through independent questioning with factored execution
3. Per-Atom Folders - Each atom has its own folder with question.md, claims.md, answer.md
4. File-Existence State - Pipeline state determined by which files exist (no mutable status fields)
5. Factored Verification - Verification questions answered by isolated verifiers with zero context about claims

Architecture

┌─────────────────────────────────────────────────────────────────┐
│                         User Query                              │
└─────────────────────────────────────────────────────────────────┘
                                │
                                ▼
┌─────────────────────────────────────────────────────────────────┐
│                    Graph Generator                              │
│         Builds question DAG with dependencies                   │
│         Creates: atoms/{id}/question.md for each atom           │
└─────────────────────────────────────────────────────────────────┘
                                │
             ┌──────────────────┼──────────────────┐
             ▼                  ▼                  ▼
   ┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐
   │ Claim Generator │ │ Claim Generator │ │ Claim Generator │
   │      (A1)       │ │      (A2)       │ │      (A3)       │
   │   [ISOLATED]    │ │   [ISOLATED]    │ │   [ISOLATED]    │
   │  Reads:         │ │  Reads:         │ │  Reads:         │
   │  question.md    │ │  question.md    │ │  question.md    │
   │  Writes:        │ │  Writes:        │ │  Writes:        │
   │  claims.md      │ │  claims.md      │ │  claims.md      │
   │  verifiers/*.md │ │  verifiers/*.md │ │  verifiers/*.md │
   │  (question only)│ │  (question only)│ │  (question only)│
   └─────────────────┘ └─────────────────┘ └─────────────────┘
             │                  │                  │
             ▼                  ▼                  ▼
┌─────────────────────────────────────────────────────────────────┐
│                   Factored Verification                         │
│  Verifier reads pre-created file containing ONLY the question   │
│  Verifier has ZERO context about the original claim             │
│  Overwrites: atoms/{id}/verifiers/{N}.md with answer            │
└─────────────────────────────────────────────────────────────────┘
             │                  │                  │
             ▼                  ▼                  ▼
    ┌─────────────────┐ ┌─────────────────┐ ┌─────────────────┐
    │    Verifier     │ │    Verifier     │ │    Verifier     │
    │  "What is X?"   │ │  "When was Y?"  │ │  "How does Z?"  │
    │  [NO CONTEXT]   │ │  [NO CONTEXT]   │ │  [NO CONTEXT]   │
    └─────────────────┘ └─────────────────┘ └─────────────────┘
             │                  │                  │
             └──────────────────┼──────────────────┘
                                ▼
┌─────────────────────────────────────────────────────────────────┐
│                 Verification Maintainer                         │
│     Reads: claims.md + verifiers/*.md                           │
│     Cross-checks claims vs independent verifier answers         │
│     Marks: VERIFIED | REVISED | REFUTED | UNCERTAIN             │
│     Creates: answer.md with verification trace                  │
└─────────────────────────────────────────────────────────────────┘
                                │
                                ▼
┌─────────────────────────────────────────────────────────────────┐
│                    Graph Maintainer                             │
│     Contracts solved answers INTO dependent questions           │
│     Updates question.md: "Given A1=X, A2=Y, what is...?"        │