#
halmos
Here are 8 public repositories matching this topic...
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
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
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
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
Improve this page
Add a description, image, and links to the halmos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the halmos topic, visit your repo's landing page and select "manage topics."