All tags
Catalogue tag

#verifiable-ai

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

3 records
Tagged “verifiable-ai”Ranked by health index
npm
81Excellenthealth index
manojmallick/sigmap
~97% token reduction for AI coding sessions — zero deps, 33 languages, MCP server
JavaScript★ 636↓ 4,235/moSep 11, 2026
MITSep 11, 2026 · metrics 2.10.0
PyPI
71Goodhealth index
rapiddweller/archkeel
Archkeel checks architecture boundaries and declared changes in AI-assisted code.
Python · JavaScript★ 8↓ 2,098/moOct 9, 2026
MITOct 9, 2026 · metrics 2.10.0
npm
59Moderatehealth index
lemmaoracle/lemma
Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
Astro · TypeScript · HTML★ 1↓ 3,976/moSep 14, 2026
Custom licenseSep 14, 2026 · metrics 2.10.0