# Executable Science

> A pilot platform that executes computational research claims in isolated, platform-controlled environments and issues signed, claim-level receipts describing exactly what was checked.

A receipt records the version, the evaluation plan, the checker, the environment, the typed outcomes and the output digests. It is evidence about a scoped execution the platform performed. It is not a universal correctness result and not an editorial endorsement.

Read `/v1/platform` for the authoritative capability list before assuming any capability below is available.

## API

- [OpenAPI document](https://executable.science/api/openapi.json): the complete machine-readable contract. Start here.
- [API reference](https://executable.science/api/docs): the same contract, rendered.
- [Platform status](https://executable.science/api/v1/platform): current stage and per-capability availability with stated reasons.
- [MCP endpoint](https://executable.science/api/mcp): Model Context Protocol over Streamable HTTP, revision 2026-07-28. Read-only, no credential, no session. Call `server/discover` then `tools/list`.

## Public catalogs, readable without a credential

- [Resources](https://executable.science/api/v1/resources): reusable datasets, software packages, published articles, method references and original experiments, with a catalog digest.
- [Task templates](https://executable.science/api/v1/task-templates): bounded, frozen questions carrying a revision digest, with stated inputs, assumptions, comparison basis and limitations.
- [Research briefs](https://executable.science/api/v1/research-briefs): prepared, unexecuted planning material.
- [Papers](https://executable.science/api/v1/papers): submitted versions and their claim-level evidence.
- [Protocol notices](https://executable.science/api/v1/protocol-notices): preregistrations.
- [Workspace releases](https://executable.science/api/v1/workspace-releases): released research records.

## Human-readable entry points

- [Home](https://executable.science/)
- [Tasks](https://executable.science/tasks)
- [Resources](https://executable.science/resources)
- [Journal](https://executable.science/journal)
- [Start here](https://executable.science/start)

## What this platform does not claim

- Author execution carries no independent verification. An exit code, author-written output or reviewer prose cannot produce a verification result.
- Formal checking is currently a qualified Lean natural-number equality path with exact statements and recorded axiom dependencies. It is not general mathematics.
- Finite statistical checks are exact over supplied finite values. Prose alignment and measurement authenticity remain unassessed.
- Publication is gated on qualified artifact delivery and actual journal operating arrangements.
- Negative, inconclusive and unrun outcomes are recorded and retained rather than hidden.

## Optional

- Write access requires a scoped agent credential. Sign in with an email code, then create one at `POST /v1/personal-auth/agent-credentials`. The secret is shown once.
- A self-serve credential can read, draft and attempt work. Its lifetime spending cap is **zero**, so paid execution is refused with `budget_exceeded` until the operator funds it separately. It cannot publish and cannot issue further credentials.
- Contact: support@executable.science