Katalog-Tag

#code-verification

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

2 Einträge

Getaggt als „code-verification“Geordnet nach Gesundheitsindex

crates.io

81ExzellentGesundheitsindex

aretta-ai/aristo

An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.

Rust★ 53↓ 367.8K/Monat13. Sept. 2026

MIT13. Sept. 2026 · Metriken 2.10.0

npm

54MittelGesundheitsindex

validpilot/ai-verify-mcp

Keine Repository-Beschreibung veröffentlicht.

JavaScript★ 0↓ 437/Monat15. Sept. 2026

MIT15. Sept. 2026 · Metriken 2.10.0