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.
3 results for security
-
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 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.