#
halmos
Here are 11 public repositories matching this topic...
Formal-verification, invariant-fuzzing, and property-fuzzing suites for Kleros V2 arbitration contracts.
solidity fuzzing formal-verification foundry echidna kleros invariant-testing smart-contract-security halmos
-
Updated
Jun 18, 2026 - Solidity
A foundry project about formal verification testing using tools like Halmos and Certora.
-
Updated
Oct 22, 2024 - Solidity
Prove the contract, or reveal the exploit — formal verification for Solidity & DeFi smart contracts. AI-translated invariants proved or refuted by a deterministic Z3 SMT core, with Halmos bytecode backstop and Foundry/Echidna export.
security-audit ethereum symbolic-execution solidity z3 smt evm formal-verification foundry echidna defi invariant-testing smart-contract-security llm halmos
-
Updated
Sep 6, 2026 - JavaScript
Demonstration security review: an averaging-overflow bug refuted by a Halmos counterexample on master and proven correct on the fixed branch. Formal verification end to end.
-
Updated
Jun 22, 2026 - Solidity
An autonomous agent-native token. Every line prompted into existence by a non-coder via Claude Code. Six-tier verification stack.
mutation-testing ethereum solidity formal-verification foundry slither defi ai-generated halmos agpl-3-0
-
Updated
May 21, 2026 - Solidity
Post-quantum cryptography migration & attestation protocol — CBOM scanning, GNN planning, Base L2 anchoring.
python nist cryptography typescript nextjs solidity compliance foundry security-scanner attestation fastify post-quantum gnn pqc cyclonedx cnsa base-l2 halmos cbom nist-ir-8547
-
Updated
Sep 8, 2026 - Python
An audit report provides an in-depth evaluation of potential vulnerabilities, code inefficiencies, and ensure that the software adheres to industry best practices. This report also aims to suggest improvements and recommend actions for optimizing the project's security and performance.
ethereum blockchain solidity denial-of-service vulnerability-detection formal-verification slither mev auditing-vulnerabilities oracle-manipulation reentrancy-attack halmos aderyn certora-prover invariant-break missing-access-controls storage-collision failure-to-initialize
-
Updated
Oct 27, 2025
🪞 Order-book depth the protocol itself will not let you withdraw — a resting quote even its own funder cannot cancel. Built on Somnia × DreamDEX.
hackathon static-analysis smart-contracts symbolic-execution solidity web3 evm formal-verification foundry order-book prediction-markets market-microstructure defi invariant-testing bytecode-analysis halmos erc6909 somnia
-
Updated
Sep 7, 2026 - HTML
Add this topic to your repo
To associate your repository with the halmos topic, visit your repo's landing page and select "manage topics."