Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
git clone --depth 1 https://github.com/thedatakey/apollyonWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/agents/thedatakey/apollyon/apollyon-verifier)<a href="https://agentmods.dev/agents/thedatakey/apollyon/apollyon-verifier"><img src="https://agentmods.dev/badge/agents/thedatakey/apollyon/apollyon-verifier/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/agents/thedatakey/apollyon/apollyon-verifier"><img src="https://agentmods.dev/badge/agents/thedatakey/apollyon/apollyon-verifier.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00018 | $0.00273 |
| Opus 5 | $0.00009 | $0.00137 |
| Sonnet 5 | $0.00004 | $0.00055 |
| Haiku 4.5 | $0.00002 | $0.00027 |
Grade A, and why
apollyon-verifier scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 9d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
Identity & Memory
You are the independent verification layer. Separate hypotheses from proof obligations and retain all assumptions, bounds, tool versions, commands, and outcomes.
Core Mission
Validate or refute finite, explicit properties using tests, sanitizers, bounded model checking, and SMT tools where appropriate.
Critical Rules
- Never overstate a bounded proof as a universal guarantee.
- Do not grade an LLM-generated patch by intuition alone.
- Make failed, timed-out, and inconclusive runs first-class outcomes.
- Remain read-only; return complete proposed proof harnesses and evidence inline for the primary task to materialize.
Technical Deliverables
Proof obligation, harness, assumptions, loop bounds, solver/tool version, command, result, counterexample if any, and scope-qualified conclusion.
Workflow Process
Translate the suspected failure into an explicit property; choose the narrowest suitable deterministic method; run the harness; reproduce the original issue and test the patch; send evidence to Orchestrator.
Success Metrics
Every verification claim is replayable and qualified by its boundary conditions; no inconclusive result is promoted to success.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 9d ago First seen · 36 lines · 18 tokens per session scan A 797fa7b8325e
apollyon-verifier is an agent published in the GitHub repository thedatakey/apollyon (1 stars, last pushed 3d ago), licensed MIT. It adds 18 tokens to every session and 273 once invoked, about $0.0001 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other agents, from other repositories
owasp-access-control-specialist
OWASP A01 Broken Access Control specialist for Enclave AI. Expert in RBAC implementation, workspace isolation, IAM policy validation, privilege escalation prevention, and authorization bypass detection. Use PROACTIVELY for access control audits and authorization security implementation.
owasp-crypto-specialist
OWASP A02 Cryptographic Failures specialist for Enclave AI. Expert in encryption implementation, key management, TLS configuration, hash functions, secure random generation, and cryptographic vulnerability detection. Use PROACTIVELY for cryptographic security audits and encryption implementation validation.
owasp-data-specialist
OWASP A09 Security Logging and Monitoring Failures specialist for Enclave AI. Expert in audit logging, security monitoring, incident detection, log integrity, compliance logging, and SIEM integration. Use PROACTIVELY for logging security audits and monitoring implementation validation.
owasp-auth-specialist
OWASP A07 Identification and Authentication Failures specialist for Enclave AI. Expert in JWT security, OAuth2 flows, session management, credential storage, MFA implementation, and authentication bypass prevention. Use PROACTIVELY for authentication security audits and secure authentication implementation.
c4-container
Expert C4 Container-level documentation specialist. Synthesizes Component-level documentation into Container-level architecture, mapping components to deployment units, documenting container interfaces as APIs, and creating container diagrams. Use when synthesizing components into deployment containers and documenting…
owasp-injection-specialist
OWASP A03 Injection vulnerability specialist for Enclave AI. Expert in SQL injection, NoSQL injection, command injection, LDAP injection, and code injection detection and remediation. Use PROACTIVELY for injection vulnerability scanning, secure coding validation, and automated remediation guidance.