Vericoding: Formally verified AI code synthesis using Dafny and SMT solvers (Z3). Math, Not Vibes.
-
Updated
Sep 17, 2026 - Python
#
vericoding
Here are 4 public repositories matching this topic...
A primitive for sovereign identity, authority, and execution on blockchain. Domain-driven, formally verifiable, infrastructure-agnostic. Defines semantics that implementations (EVM, Stylus, Solana, others) conform to.
documentation ddd astro c4-model arbitrum irys llms-txt knowledge-as-code vericoding sovereign-account
-
Updated
Sep 19, 2026 - TypeScript
Recursive Formal Alignment Factory — Autonomous pipeline for generating ultra-high-density vericoding trajectories and training SOTA code models on a single T4 GPU. Multi-agent verification, formal proofs, dense rewards, recursive self-improvement.
python machine-learning reinforcement-learning multi-agent colab code-generation formal-verification synthetic-data llm qlora code-llm swe-bench vericoding
-
Updated
Apr 14, 2026 - Python
Add this topic to your repo
To associate your repository with the vericoding topic, visit your repo's landing page and select "manage topics."