Intent Registry (Public)
Public library of EDN contracts for safe C/C++ code.
Available Intents
| Intent | Description | Status |
|---|---|---|
| Memory Safety (C-SAFE) | Pointer lifecycle, safe-free | ✅ Public |
| Bounds Check (BOUNDS) | Array bounds validation | 🚧 Draft |
| Pointer Guards | Pointer arithmetic guards | 🚧 Draft |
| Type Validation | Safe type casting | 🚧 Draft |
| Lifecycle Tracking (Пастух) | Variable birth/death tracking | 🚧 Draft |
How to Use
- Select intent from registry
- Add EDN contract to your project
- Tag code with garden-tags
- Run validation via Enforcer
Links
Bake the Future. Build the Substrate. 🛠️⚡️