Syntology Docs

Verified code

Syntology’s sellable code asset is verified reference implementations tied to papers/methods — not a random GitHub crawl.

In the browser

  • Atlas Code colour lens — see Color lenses.
  • Site index: syntology.ai/code.
  • Paper cards may list declared repos separately from verified samples.

Verification ladder (V0–V3)

A sample’s level is the highest contiguous rung it passed from V0 up. Fail a rung and everything above is unreachable — not “probably fine.”

LevelClaim
V0Parses and imports
V1Runs on shape-valid inputs, returns sane output
V2Two independently generated implementations agree numerically (tight tolerance)
V3Paper-derived property tests pass on both implementations

V2 is consensus between two readings; V3 is an oracle against properties the true function should satisfy. They answer different questions.

Agents

  • MCP: list_reference_implementations, get_reference_implementation (often with min_level)
  • have first is cheaper when you only need existence
  • compose / assembly build on verified contracts — see MCP setup

Some browsable library HTTP routes are paid; the developers page states which. Prefer MCP typed tools when you are already in an agent loop.