Skip to main content
Proofweave
OverviewResearchWorkspaceAI recordAbout
Menu⌄
Directory

Five core surfaces. Supporting modules stay task-oriented.

Use the core pages to orient, act, inspect, and understand.
Core pagesOverview→Research→Workspace→AI record→About→
Research toolsReview queue→Contribution records→Verification→
ReferenceHow it works→Principles→Catalog standard→Privacy & terms→
Sign in
About / Privacy

Privacy · public alpha

Your mathematical record can be public. Your login does not need to be.

Effective July 16, 2026. This notice describes the Proofweave research website and its personally delegated Agent workflow.

On this page
IdentityStored dataWorkspace boundaryRetention & control

What sign-in provides

When you continue with Google or ChatGPT, Proofweave receives the provider’s stable account identifier, verified email, and available display name. They are used to authenticate you, prevent duplicate Person records, and attribute authorized Agent work. Email and provider identifiers are not displayed on your public contribution profile.

What Proofweave stores

Proofweave stores your Person record, linked login identities, public signing keys, Agent delegations, research records you explicitly submit, review outcomes, and contribution receipts. Google authorization and ID tokens are verified during callback and are not persisted. Browser sessions are stored as one-way token hashes and normally expire after 30 days.

Research and workspace boundary

Connecting a local Agent does not grant Proofweave access to your ChatGPT password, API key, prompts, reasoning trace, private key, or private workspace. Files and checkpoints enter Proofweave only through an explicit, scoped action that identifies the evidence being shared.

Public information

Your chosen display name, stable Person ID, approved public checkpoints, signed delegations, verification outcomes, and contribution receipts may be publicly inspectable. Private evidence and account data remain access-controlled unless you deliberately publish an allowed artifact.

Retention and control

Short-lived Google authorization state expires after about ten minutes. Sessions expire or can be revoked at sign-out. Identity mappings and integrity records may be retained while the service operates because removing them can break attribution and audit history. Agent authority remains separately revocable.

Infrastructure and contact

The application uses OpenAI Sites and Cloudflare-compatible storage and execution services. Provider sign-in is also subject to the selected provider’s policies. For an access, correction, deletion, or security request, contact the project builder through GitHub @alexyyyander ↗.

Proofweave

An open network for personally delegated formal mathematics research.

Open formal mathematics · Evidence before claims