RRFDunn/aegis-lang
A security-by-construction programming language for AI agents
Transpiles `.aegis` source to Python with embedded runtime security—taint tracking prevents untrusted data from reaching sensitive sinks (SQL, shell, HTML), capability decorators enforce least-privilege access, and hash-chained audit logs support regulatory compliance. Includes first-class AI agent constructs (tool invocation, multi-step plans with rollback, structured reasoning, cost budgets) and formal contract verification via Z3 SMT solver, all with zero external dependencies beyond Python 3.11+ stdlib.
Stars
10
Forks
2
Language
Python
License
Apache-2.0
Category
Last pushed
Mar 07, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/RRFDunn/aegis-lang"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Compare
Higher-rated alternatives
quantifylabs/aegis-memory
Secure context engineering for AI agents. Content security · integrity verification · trust...
The-17/agentsecrets
Zero-knowledge secrets infrastructure built for AI agents to operate, not just consume.
kahalewai/dual-auth
Dual-Auth provides AGBAC dual-subject Authorization for AI Agents and Humans using existing IAM...
lelu-auth/lelu
The authorization layer for AI Agents
onecli/onecli
Open-source credential vault, give your AI agents access to services without exposing keys.