SkillsAdd

hairyf/blockchain-skills

halmos

Symbolic testing for EVM smart contracts with Halmos (Foundry-style tests, SMT solvers).

First seen Feb 28, 2026

Installation

$ npx skills add hairyf/blockchain-skills --skill halmos
View on skills.sh ↗ GitHub repository ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

agent-browser Same topic
vercel-labs/agent-browser

Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…

810.4K installs
azure-diagnostics Same topic
microsoft/azure-skills

Debug Azure production issues on Azure using AppLens, Azure Monitor, resource health, and safe …

568.9K installs
azure-validate Same topic
microsoft/azure-skills

Pre-deployment validation for Azure readiness. Run deep checks on configuration, infrastructure…

567.7K installs
azure-aigateway Same topic
microsoft/azure-skills

Configure Azure API Management as an AI Gateway for AI models, MCP tools, and agents. WHEN: sem…

566.3K installs
azure-compute Same topic
microsoft/azure-skills

Azure VM/VMSS router. WHEN: create / provision / deploy / spin-up VM, recommend VM size, compar…

510K installs
supabase-postgres-best-practices Same topic
supabase/agent-skills

Postgres best practices maintained by Supabase, for Postgres running anywhere. Load this skill …

391.6K installs

Also in this package

Other skills from hairyf/blockchain-skills · top by installs.

npx skills add hairyf/blockchain-skills
ton 23 openzeppelin-contracts 21 viem 21 wagmi 15 solana-anchor 14 thegraph 11 solidity 10 envio 10 ton-http 9 uniswap-v4 9

Browse all from hairyf/blockchain-skills

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 4
License LICENSE.md
Default branch main
Open issues 1
Status Active

Skill metadata

Parsed from SKILL.md frontmatter.

Version2026.2.24
More metadata
author
hairy
version
2026.2.24
source
Generated from https://github.com/a16z/halmos

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 1,970 B
  • docs SUMMARY.md 102 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 4 installs

SKILL.md

Skill is based on Halmos (a16z/halmos), generated from source at the listed date.

Halmos is a symbolic testing tool for EVM smart contracts. It uses a Solidity/Foundry frontend: you write check or invariant tests like fuzz tests, and Halmos verifies them for all possible inputs (within bounds) via symbolic execution and an SMT solver. It supports symbolic constructor args, invariant testing over call sequences, and configurable solvers (Yices, cvc5, Bitwuzla).

Core References

Topic Description Reference
Symbolic testing How symbolic tests differ from fuzz tests; check_ structure; vm.assume vs bound [core-symbolic-testing](references/core-symbolic-testing.md)
CLI and config Invocation, --contract/--function, halmos.toml, @custom:halmos annotations [core-cli-config](references/core-cli-config.md)
setUp and cheatcodes Symbolic constructor args; svm.createUint256, createAddress, createBytes; halmos-cheatcodes [core-setup-cheatcodes](references/core-setup-cheatcodes.md)

Features

Topic Description Reference
Invariant testing invariant_ prefix, --invariant-depth, frontier states, running invariants [features-invariant-testing](references/features-invariant-testing.md)
Solver options --solver (yices, cvc5, bitwuzla), timeouts, --solver-threads, --solver-command [features-solver-options](references/features-solver-options.md)

Best practices

Topic Description Reference
Writing tests assume vs bound, assertion Panic(1), revert checks, dynamic types [best-practices-writing-tests](references/best-practices-writing-tests.md)