GITHUB TOPIC
#cedar
GitHub repositories that have self-applied the topic "cedar" — a creator-tagged metadata that surfaces how AI projects describe themselves.
2
tagged repos
13
top 2 stars
2
with tool sigs
2
shown
REPOS Repos for #cedar (top 2 by stars)
anivar/decern
Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently verifiable offline. Pure Rust.
Abhinav0905/AWS-Agents-For-HumanPostscript: a background agent for estate executors. Strands Agents SDK + Bedrock AgentCore + Cedar. It does the paperwork of death and interrupts the grieving executor exactly nine times in eight weeks.
RELATED Other topics · full topics ranking →
#claude-code
2,815#ai-agents
2,183#llm
1,690#claude
1,475#mcp
1,359#python
1,349#developer-tools
1,231#ai
1,028#codex
996Aggregated by case-insensitive match against topics_json of each repo's latest content snapshot. methodology