Pessoas leem a página.
Agentes leem a fonte.

O que você constrói com ela

Um framework para agentes de IA e uma linguagem de programação, em um único binário.

Tudo o que um app agêntico precisa está na linguagem, não em um framework colado por cima: chamadas ao LLM, uso de ferramentas, memória, aprovação humana, orquestração multiagente, um servidor de produção e o modelo de segurança. Por isso a mesma linguagem também constrói a API, o site, o cron e a CLI em volta do agente.

Um arquivo

O backend inteiro, com as permissões no topo.

Um programa Synsema começa declarando o que pode tocar. Tudo abaixo dessa linha roda dentro dela: as rotas, o banco de dados, os segredos, o modelo. Os dois arquivos abaixo compilam e rodam como estão.

-- 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 é a superfície de permissões. Uma porta, um arquivo de banco, um segredo. Um fetch para qualquer outro host é recusado pelo interpretador.
• Auth e validação são declarações. auth with nomeia a task que diz quem é um token; expect body rejeita um payload ruim com um 400 que nomeia o campo.
• Uma rota, todos os leitores. content() responde HTML aos navegadores e Markdown ou JSON aos agentes; paged() pagina resultados grandes por você.
• O modelo é uma primitiva. decide devolve uma das opções ou tenta de novo; analyze e generate têm tipo, não são strings de prompt coladas à mão.
• Uma pessoa também é uma primitiva. approve … within 1h espera alguém de verdade; sem ninguém, nega.
• Segredos nunca se materializam. A chave viaja selada até o socket; o modelo vê um marcador.

Feito com Synsema

Três coisas que você pode usar hoje.

Do blog

Benchmarks, decisões de design, guias.

• 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.

Todos os posts → · RSS