GITHUB TOPIC
#formal-verification
GitHub repositories that have self-applied the topic "formal-verification" — a creator-tagged metadata that surfaces how AI projects describe themselves.
2
tagged repos
12
top 2 stars
1
with tool sigs
2
shown
REPOS Repos for #formal-verification (top 2 by stars)
anivar/decern
Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently verifiable offline. Pure Rust.
ss1738/proof-carrying-aiProof-carrying compliance certificates for AI agent actions: machine-checked (Coq, axiom-free) + zero-knowledge proofs that an agent action obeyed a formal policy.
RELATED Other topics · full topics ranking →
#claude-code
1,555#ai-agents
1,156#llm
1,066#claude
936#python
802#ai
737#developer-tools
723#mcp
719#codex
517Aggregated by case-insensitive match against topics_json of each repo's latest content snapshot. methodology