Le persone leggono la pagina.
Gli agenti leggono la sorgente.

Cosa ci costruisci

Un framework per agenti IA e un linguaggio di programmazione, in un unico binario.

Tutto ciò che serve a un'app agentica è nel linguaggio, non in un framework incollato sopra: chiamate all'LLM, uso di strumenti, memoria, approvazione umana, orchestrazione multi-agente, un server di produzione e il modello di sicurezza. Per questo lo stesso linguaggio costruisce anche l'API, il sito, il cron e la CLI intorno all'agente.

Un file

Tutto il backend, con i suoi permessi in cima.

Un programma Synsema inizia dichiarando cosa può toccare. Tutto ciò che sta sotto quella riga gira lì dentro: le route, il database, i segreti, il modello. I due file qui sotto si compilano e girano così come sono.

-- A bookshop API. The `require` lines are the whole permission
-- surface: a port, one database file, one secret. Nothing else.
intent: "public read API; writes need the staff token"

require serve(8080)
require db("./shop.db")
require secret("API_TOKEN")

task check_token(token)
    let want be hmac_sha256("staff", token)
    when verify_hmac("staff", want, secret("API_TOKEN"))
        give {"role": "staff"}
    give nothing

serve on 8080
    auth with check_token
    rate_limit 120 per minute

    route "GET /books"
        give paged("SELECT id, title, price FROM books")

    route "POST /books" requires auth
        expect body {title: text, price: number}
        let b be json of request
        sql_exec("INSERT INTO books (title, price) VALUES (?, ?)",
                 [b.title, b.price])
        give created(b)

    route "GET /about"
        let doc be page([heading(1, "Bookshop"),
                         prose("HTML or Markdown, one route.")],
                        {"title": "Bookshop"})
        give content(doc)

-- An agent that triages support tickets. The model decides;
-- a human approves refunds; the API key is a sealed secret.
intent: "triage open tickets; refunds wait for a human"

require llm
require net("api.example.com")
require secret("SUPPORT_TOKEN")

let api be "https://api.example.com"
let auth be {"Authorization": bearer(secret("SUPPORT_TOKEN"))}
let r be http_get(api + "/tickets?open=1", auth)
let tickets be json_decode(body of r)

each t in tickets
    let msg be t["text"]
    let kind be decide between ["bug", "billing", "other"] given msg
    when kind == "billing"
        let amount be analyze msg for "the amount to refund"
        let who be t["customer"]
        approve "Refund " + text(amount) + " to " + who + "?" within 1h
    otherwise
        let reply be generate "a short, kind answer" given msg
        let url be api + "/tickets/" + t["id"] + "/reply"
        http_post(url, {"text": reply}, auth)

• require è la superficie dei permessi. Una porta, un file di database, un segreto. Un fetch verso qualsiasi altro host è rifiutato dall'interprete.
• Auth e validazione sono dichiarazioni. auth with nomina la task che dice chi è un token; expect body rifiuta un payload errato con un 400 che nomina il campo.
• Una route, ogni lettore. content() risponde HTML ai browser e Markdown o JSON agli agenti; paged() pagina i risultati grandi per te.
• Il modello è una primitiva. decide restituisce una delle opzioni o riprova; analyze e generate sono tipizzati, non stringhe di prompt incollate a mano.
• Anche una persona è una primitiva. approve … within 1h aspetta qualcuno di reale; se non c'è nessuno, nega.
• I segreti non si materializzano mai. La chiave viaggia sigillata fino al socket; il modello vede un segnaposto.

Costruito con Synsema

Tre cose che puoi usare oggi.

Dal blog

Benchmark, decisioni di design, guide.

• September 2, 2026

  Ship a whole program as one binary with synsema build

  Engine, program, modules, templates and assets in a single sealed executable, with a capability ceiling baked in. Nothing to install on the target — deploy it FROM scratch, or hand it to someone as a file.

• September 2, 2026

  One program, three apps — web, phone and desktop from the same Synsema file

  A Synsema app is a website with automatic HTTPS, an installable phone app with native push, and a desktop app in its own window with your icon — from one server-rendered program and one API module. No native toolkit, no second codebase, no store required.

• September 2, 2026

  Expose your program to any AI agent — an MCP server in one route

  MCP is JSON-RPC. In Synsema the whole server is a dispatcher task and one POST route. Tools are tasks with real bodies, secrets stay sealed, and untrusted input runs under a capability ceiling.

Tutti gli articoli → · RSS