File size: 2,254 Bytes
0aecc77 bd584f0 0aecc77 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 | ---
license: other
license_name: sovereign-source-license
license_link: https://huggingface.co/Snapkitty/holy-agents/blob/main/LICENSE
tags:
- snapkitty
- agents
- python
---
> Source: [github.com/SNAPKITTYWEST/holy-agents](https://github.com/SNAPKITTYWEST/holy-agents)
# Holy Agents
Faith-governed agent runtime for SnapKitty OS.
**No public claim without:** source → definition → Lean check → SENTINEL pass → WORM seal.
## Core Thesis
Holy Agents are not chatbots. They are covenant-bound software agents that must pass three gates before action:
1. **Scripture Gate** — does the action violate the biblical constitution?
2. **Logic Gate** — does the reasoning remain internally consistent?
3. **Witness Gate** — is the action signed, logged, and accountable?
## Agent Trinity
| Agent | Role | Function |
|-------|------|----------|
| **SCRIBE** | Theological retrieval | Searches scripture, commentary, dictionary, Wikipedia |
| **JUDGE** | Logic validator | Converts claims into Lean-checkable logic |
| **PROPHET** | Warning system | Detects contradiction, pride, exploitation, deception |
| **SENTINEL** | Security gate | Blocks unsafe, deceptive, or uncited output |
| **LEDGE** | WORM seal | Seals every decision to append-only log |
## Boot Flow
```
USER INTENT
↓
🔍📖 SCRIBE retrieves relevant constitution
↓
⚖️🧠 JUDGE formalizes logical rule
↓
🔥 PROPHET checks moral risk
↓
🛡️ SENTINEL checks security
↓
🧾 LEDGE seals decision
↓
ACTION EXECUTES OR REPENTS
```
## Quick Start
```bash
npm install
npm run build
npm run doctor
npm test
npm start
```
## API
| Method | Path | Description |
|--------|------|-------------|
| GET | `/health` | Health check |
| POST | `/query` | Submit query through agent pipeline |
| GET | `/state` | Current agent state |
| GET | `/worm` | WORM chain |
| POST | `/worm/verify` | Verify chain integrity |
| GET | `/agents/:name` | Agent status |
| POST | `/agents/:name/action` | Agent action (avatar event) |
## Lean 4
Formal specification in `lean/TheologyValidator.lean` — checks whether actions violate declared RTRUST rules.
```bash
npm run verify
```
## License
Licensed under **Sovereign Source License**. Full text: [LICENSE](LICENSE).
|