Blog · English
Writing about a language for agents
Benchmarks, design decisions and how-tos: automatic HTTPS, installable apps, agentic servers, capability security. Every post is also Markdown — add .md to its URL.
6 results for agents
-
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.
-
Lampson — an open-source AI coding agent that lives in your project
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.
-
Lamps — give your AI agent tools with a ceiling it cannot raise
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.
-
Human-in-the-loop for AI agents — approve, confirm and ask are language primitives
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.
-
The fastest backend for AI agents to discover
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.
-
The secure language for AI agents — without giving up speed
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.