Spec Faithfulness

Fresh

Mechanically-checked Verus specification-faithfulness environment for `verifiers`: a spec must accept the correct implementation and reject buggy o...

Type: RL Env
License: unknown
Size: v0.1.0
Published: Jun 2026
Updated: Jun 2026
Canonical: app.primeintellect.ai/dashboard/environments/kit-kyo/spec-faithfulness

Cite

Notes

Only stored in your browser.

Attribution

README: api.primeintellect.ai/api/v1/environmentshub/kit-kyo/spec-faithfulness/@0.1.0/inspect

Attribution policy →

Contributors

kit-kyo