A framework for scalable, distributed discovery systems.
-
Updated
Jul 8, 2026 - Python
#
verus
Here are 8 public repositories matching this topic...
A Multipurpose API that knows everything about Verus!
-
Updated
Mar 27, 2025 - Python
An assistant built to be trusted by proof, not by sounding right: a small language model trained from random weights on one machine, running with nothing behind it, whose programs carry specifications checked by seven provers (Dafny, Verus, SPARK, Frama-C, Lean 4, Rocq, F*), each also refuting a sabotaged twin. It learns only from what was proved.
program-synthesis code-generation dafny formal-verification specification-language frama-c fstar spark-ada synthetic-data verus ai-assistant lean4 llm small-language-models rocq verified-code
-
Updated
Sep 29, 2026 - Python
pwnagotchi-like display to show verus-coin statistics
-
Updated
Dec 15, 2024 - Python
An adversarial-specification-elicitation benchmark for AI-assisted formal verification
-
Updated
May 24, 2026 - Python
A Python “Verus Blockchain Specialist Agent” originally built for UAI’s neural‑swarm. It wraps the Verus CLI/ID/DeFi/storage APIs into an autonomous service (or container) for identity, currency, storage, marketplace, IP/protection, and more—usable standalone or within a UAI cluster.
-
Updated
Aug 27, 2026 - Python
On-prem verifier infrastructure for RL-with-verifiers: a Lean verify-throughput deployability scorecard + two published verifiers RL environments (real-verifier rewards) + a hardening gateway.
-
Updated
Jun 20, 2026 - Python
Idempotent Ansible provisioning playbooks for Verus blockchain infrastructure. Part of the BuildWithDreams autonomous agent ecosystem.
-
Updated
Sep 24, 2026 - Python
Add this topic to your repo
To associate your repository with the verus topic, visit your repo's landing page and select "manage topics."