Plugin author
1 plugin in the catalog · ★ 0 GitHub stars across them · first listed Sep 9, 2026 · Tools
Typed adapter for the reproducible JACKAL v1.7.3 release: 41 catalog-derived verification tools (exact, numerical, Lean-checked bounded lanes, claim replay).
← Back to the catalog