# Jackal Verified: Hermes Agent plugin

> Typed adapter for the reproducible JACKAL v1.7.3 release: 41 catalog-derived verification tools (exact, numerical, Lean-checked bounded lanes, claim replay).

Canonical: https://hermeswatcher.com/plugins/jackal-verified  
Tier: Community  
Official page (Nous Research): https://hermes-agent.nousresearch.com/docs/plugins/jackal-verified  
Last updated in catalog: 2026-09-14

Typed adapter for the reproducible JACKAL v1.7.3 release: 41 catalog-derived verification tools (exact, numerical, Lean-checked bounded lanes, claim replay).

## How to install

1. Install it. Hermes asks for any API keys it needs, then asks whether to turn it on.

```bash
hermes plugins install jackal-verified
```

2. Said no? Turn it on later:

```bash
hermes plugins enable jackal-verified
```

3. Restart Hermes so it loads the plugin.

Some plugins also need a sign-in or settings: see the official page. Memory plugins ask whether to become your memory provider instead. Steps follow the official plugins guide: https://hermes-agent.nousresearch.com/docs/user-guide/features/plugins

## Facts

- Category: Coding & developer tools
- Maintained by: AnubisQuantumCipher (Community)
- Needs: No API keys declared
- Adds tools: `jackal_alg_cmp`, `jackal_alg_sign`, `jackal_anubis_check_program`, `jackal_anubis_verify_program`, `jackal_anubis_verify_program_receipt`, `jackal_atan_rat_bound`, `jackal_canon`, `jackal_claim`, `jackal_claim_cites_test`, `jackal_cos_rat_bound`, `jackal_crt`, `jackal_decision_rank`, `jackal_decision_rank_v2`, `jackal_diff`, `jackal_divides`, `jackal_evaluate`, `jackal_exact`, `jackal_exp_rat_bound`, `jackal_gaussian_integral`, `jackal_integrate`, `jackal_integrate_adaptive`, `jackal_integrate_bound`, `jackal_integrate_bound_cert`, `jackal_ln_rat_bound`
- In the catalog since: 2026-09-09, updated 2026-09-14

## Links

- [Full setup and settings (official page)](https://hermes-agent.nousresearch.com/docs/plugins/jackal-verified)
- [Source code](https://github.com/AnubisQuantumCipher/hermes-jackal-verified)
- [All plugins](https://hermeswatcher.com/plugins.md)

---

HermesWatcher is an independent guide. It is not affiliated with or endorsed by Nous Research. The [official Hermes Agent documentation](https://hermes-agent.nousresearch.com/docs) and [repository](https://github.com/NousResearch/hermes-agent) from Nous Research are the authority; each page here lists the official sources it was written from. If this site and the official docs disagree, trust the official docs. Index for agents: https://hermeswatcher.com/llms.txt