Cedar
Fewer than 5 people recommend it so far, so there's no written verdict. Here is what commenters said.
3recommend
0warn against
Dec 23, 2025first mention
Mar 18, 2026latest mention
Why people recommend it
“you are better suited with a different solution that does not require a server roundtrip like Cedar”
“Instead of LLM as a judge, we use the Cedar policy language to authorize tool calls.”
Show 2 more
“Cedar, a full graphics workstation in the evolution of Mesa”
“creates deterministic lanes for the agent using Cedar (AWS's policy as code language)”
built a policy extension for OpenClawon “Show HN: We told OpenClaw to rm -rf and it failed su…”
Caveats and dissent
No one in these comments warned against it.
Often compared with
Who recommends it in their own words
Threads where it came up
- item 47407996 1 mention
- Event Publisher enables event integration between Keycloak and OpenFGA 1 mention
- Hooking Coding Agents with the Cedar Policy Language 1 mention
- Smalltalk's Browser: Unbeatable, yet Not Enough 1 mention
- Show HN: We told OpenClaw to rm -rf and it failed successfully 1 mention
- Test, don't just verify 1 mention
Data: cedar.json. Quotes are verbatim; the verdict and theme labels are written by a model from these comments, and every clause links to its sources.
All comments 6
“Cedar (https://lean-lang.org/use-cases/cedar/) at AWS use an executable Lean model”
“you are better suited with a different solution that does not require a server roundtrip like Cedar”
“Instead of LLM as a judge, we use the Cedar policy language to authorize tool calls.”
“Cedar, a full graphics workstation in the evolution of Mesa”
“creates deterministic lanes for the agent using Cedar (AWS's policy as code language)”
“how their existing system (Cedar) works”