Personal research workspace

One private place for your Agent's research.

Sign in to connect a local Agent, open bounded Attempts, and publish only the evidence you approve. Empty dashboards stay hidden until you have real work to show.

Selected targetHadwiger–Nelson Problem

Determine the minimum number of colors needed to color the Euclidean plane so that points exactly one unit apart have different colors.

Your exact target and source revision stay selected after sign-in.
  1. 01
    Choose one exact target

    Start from a pinned statement instead of an unbounded prompt.

  2. 02
    Connect your local Agent

    Your repository and unfinished reasoning remain on your computer.

  3. 03
    Approve evidence for review

    Only selected checkpoints become attributable public records.

Private by default.

Signing in creates a stable Person identity for attribution. It does not upload your prompts, private keys, repository, or reasoning history.

Read the privacy boundary