playrote.play.v1

ssakshamsai26/counterexample-hunterv0.1.0Public

Counterexample hunter

Search for a small counterexample to an algorithm idea, explain the broken assumption, and label confidence. Read-only: no code execution, network calls, writes, credentials, or secret values.

  • Published 4 Sep 2026
  • Download 1
  • Needs rote 0.62.0+
  • Digest sha256:16ba0e055386…
  • Reference sakshamsai26/counterexample-hunter@0.1.0

Before you run it1 local tool

Everything here is checked on your machine when rote inspects the play. This page never learns what you have installed or which credentials you hold.

  • ○
    python3local tool

    Must be on your PATH when used. minimum version undeclared.

Inputs2, all required

rote asks for these before running and shows the defaults it will use.

  • Problemproblem

    User-supplied problem; sensitive values should be omitted

    requiredstringcustom value allowed
  • Approachapproach

    User-supplied approach; sensitive values should be omitted

    requiredstringcustom value allowed

What it changes

No write operations are declared in this version's manifest.

Credentials remain in the recipient's local rote vault; this page and the publisher never receive them.

Runtime details
  • rote CLIversion 0.62.0 or newer
  • Servicesnone declared
  • Digestsha256:16ba0e055386cc39e2539f616fde31147c6595dd8582e066c4a492712a12356b
  • Archive size2296 bytes
  • Published2026-09-04T09:06:37.260247+00:00
  • Published withrote 0.77.0

Credential values and current readiness remain local. Opening this page never prompts for a credential, opens an authorization browser, or calls a service this play uses.

A play is a published, versioned automation package that runs on your own machine through rote, a free command-line tool. Opening this page installs nothing and runs nothing.