abductive-repl

Generate and test hypotheses from observations in an interactive REPL.

60|13|Updated Dec 22, 2025
One-click install
npx skills add https://github.com/plurigrid/asi --skill abductive-repl
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: abductive-repl
Source: https://github.com/plurigrid/asi/tree/main/skills/abductive-repl
Command: npx skills add https://github.com/plurigrid/asi --skill abductive-repl

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Hypothesis testing loops via an interactive REPL to support exploratory abductive inference.

Core Features & Use Cases

  • abduce-from-observation: generate plausible hypotheses from observations
  • repl-commands: interactive exploration with guided commands
  • forward-simulate: simulate forward from hypotheses to predict observations
  • roundtrip-test: verify abductive accuracy
  • hypothesis-refinement: iterative refinement based on feedback

Quick Start

Open the abductive REPL, input an observation, generate hypotheses, and iteratively test/refine them.

Frequently Asked Questions about abductive-repl

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I generate hypotheses from observations in an interactive REPL?

Abductive inference generates plausible hypotheses from observed outcomes within a REPL environment. Input your observation, and the Skill produces candidate hypotheses that explain the data, enabling iterative refinement through guided commands and forward simulation.

Can I test hypotheses by simulating forward predictions?

Yes, forward simulation predicts observations from hypotheses to verify accuracy. After generating hypotheses, simulate forward to check predictions against actual outcomes, then refine based on mismatches in a roundtrip validation loop.

What languages and frameworks does abductive hypothesis testing integrate with?

Abductive inference integrates Gay.jl, HyJAX, and Babashka pipelines for multi-language support. This enables deterministic roundtrip testing and command-based abductive search across color-based exploratory tasks and invader-color matching workflows.

How do I iteratively refine hypotheses based on test results?

Hypothesis refinement operates through interactive REPL commands that accept feedback from roundtrip tests. Each cycle generates new candidate hypotheses, simulates outcomes, validates against observations, and produces refined models for exploratory abductive analysis.

Is abductive inference suitable for color-matching and exploratory tasks?

Yes, the Skill is designed for color-based exploratory tasks and invader-color matching workflows. It satisfies functional requirements for REPL-driven hypothesis loops and deterministic validation, making it suitable for observation-based inference problems in these domains.

What makes roundtrip testing important for abductive accuracy?

Roundtrip testing verifies that hypotheses generate observations matching your original data. This validation step ensures abductive accuracy by confirming hypotheses explain the observed outcomes, preventing spurious or incomplete explanations from advancing.