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.
AI Coding Tools Used
This repository contains config files from these AI coding tools, indicating AI-assisted development.
GitHub Topics
Language breakdown (by bytes)
Why this is classified AI-related
The AI relevance score checks four places for AI keywords and adds the weight of each one that matches. Full methodology
Total AI relevance score: 70 / 100
Position among AI repos in the same language
We track 552 Rust repos, of which 441 score 40 or above on AI relevance. 29 have more stars than this one (top 5.4%), and 85 score higher (top 15.6%).
Owner
Engineering leader and independent researcher. Agent authorization, digital identity, and the governance of AI systems.
Dates
| Created on GitHub | 2026-08-02 |
| Last push | 2026-08-08 |
| First seen here | 2026-08-08 |
| Last fetched | 2026-08-08 18:10 |
Similar repos (same language)
1 place to call all your agents - OpenCode, Hermes, Claude Managed Agents, Cursor Agents API, DeepAgents.
modiqo/waggleAttributed, resolvable artifact references for agent handoffs — a ~30-byte token instead of pasted context. MCP-native; the reference layer for the agent-harness world.
IvanWng97/pixtuoidTerminal pixel-art office for AI coding agents
lexmount/moliBest browser for AI agents, built in Rust.
akitaonrails/ai-usagebarRust-based waybar widget to monitor status of Claude, GPT, GLM, OpenRouter plans/credits - inspired by claudebar/codexbar
Cmochance/codex-app-transferLocal desktop gateway that translates OpenAI Codex CLI's Responses API into Chat Completions for Kimi / DeepSeek / Zhipu GLM / Bailian and other OpenAI-compatible providers.
GetBusbar/busbarPoint your existing SDK at one URL and reach every LLM vendor — with real failover, not a try/except. One static Rust binary.
hoangpm96/ai-switcherA native macOS app to manage and switch between multiple accounts for AI coding tools — Claude Code, Codex, and Antigravity IDE — from one place.