Blog
Benchmarks, design decisions and how-tos: building AI agents in Synsema, and deploying them with a permission manifest, sealed secrets and an audit trail. Every post is also Markdown: add .md to its URL.
8 results for agents
Jev is TypeSafe's System One model: it answers with typed, calibrated probabilities instead of text. In Synsema it is a language primitive — `require judge`, one block, one call, three verbs — with honest degradation when it is not there.
Telling a model "never call external APIs" is a request. A manifest the runtime enforces is a guarantee. What changes when permission is syntax, and why security teams say yes to one and no to the other.
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.
Terminal or browser, any OpenAI- or Anthropic-compatible model, and tools that cannot leave your repo by construction. Lampson is a coding agent written entirely in Synsema.
A lamp is a portable unit of capability. Its manifest declares what the code may touch, the Synsema runtime enforces it and records every check. Install one with lamp add, expose it to any agent with lamp mcp.
A gate that waits for a real person — in the terminal, or queued behind one-time links when the program runs as a server — and denies when nobody is there. An agent cannot fake an approval.
A Synsema API is discovered by an agent in 1.37 ms, ahead of Go and Node — and the discovery documents are generated, not written.
Top-tier throughput plus capability security built into the language itself — why Synsema is the best fit for AI-agent backends and any service that handles untrusted input.