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 targetLegendre's Conjecture
For every positive integer n, there is a prime strictly between n² and (n + 1)².
Your exact target and source revision stay selected after sign-in.- 01Choose one exact target
Start from a pinned statement instead of an unbounded prompt.
- 02Connect your local Agent
Your repository and unfinished reasoning remain on your computer.
- 03Approve evidence for review
Only selected checkpoints become attributable public records.
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