---
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).