Public Technical Brief

Synapse builds downward.
Start with bounded, verified execution.

Synapse is a self-hosted runtime for deterministic execution of bounded AI-generated logic. It is designed for evaluators, reward functions, policy gates, and other workloads where lower overhead, tighter control, and formal assurance matter more than general-purpose cloud compatibility.

Self-Hosted QuickstartResearch →
Best Fits Right Now
evaluators and judges
reward functions
policy gates
bounded transforms
auditable generated business logic
Current HTTP Surface
GET /health
POST /v1/execute
POST /v1/execute/python
GET /v1/benchmark
What Is Defended Today

Stable end-to-end verification claims at the current gateway boundary:

@inv pure
@inv terminates
@inv no_oob

Malformed `.syn` returns 400 compile_failed. Empty input returns 400 empty_code.

Repro Commands
SYNAPSE_START_GATEWAY=1 python3 tests/release_test.py
SYNAPSE_START_GATEWAY=1 python3 tests/test_gateway_verification_http.py
SYNAPSE_START_GATEWAY=1 python3 tests/test_self_hosted_examples.py
python3 benchmarks/eval_only_benchmark.py

These commands are the fastest way to validate the runtime, the verification boundary, and the benchmark methodology on your own machine.

Honest Boundaries
arbitrary Linux sandbox hosting
full CPython compatibility
multi-tenant hosted billing
sovereign GPU fabric

Start with the runtime. Follow the deeper research if you need it.

This brief is the shortest path through the product surface. The research and benchmark pages go deeper on methodology, proofs, and long-horizon infrastructure work.

Self-Hosted ProductBenchmarks →