Jackal Verified

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

Install it. Hermes asks for any API keys it needs, then asks whether to turn it on.
hermes plugins install jackal-verified
Said no? Turn it on later:
hermes plugins enable jackal-verified
Restart Hermes so it loads the plugin.

Some plugins also need a sign-in or settings: see Full setup & settings. Memory plugins ask whether to become your memory provider instead. Steps follow the official plugins guide (opens in a new tab).

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: 2026-09-09, updated 2026-09-14

Full setup & settings ↗Source code ↗

More in coding & developer tools

All coding & developer tools plugins

New Hermes Agent updates every day on X. Follow @HermesWatcher

← All plugins