~ / rigs / lee-to / hlv

lee-to/hlv

Specs first. Code second. Proof always. You define the what. LLMs generate the how. hlv validates the proof.

↗ GitHub ★ 76 mit updated 3mo ago project Codex
share on X
ARCHETYPE
Pragmatist
A balanced, no-drama setup: some rules, some tools, nothing extreme.
CONTEXT TAX · EVERY TURN
~1.8k tokens
Featherweight · median rig: 2.3k · breakdown
GUARDRAILS
0/5
No committed guardrails · details

Copy this rig

# review before running: this installs third-party code
$ npx degit lee-to/hlv/skills ./rig-hlv/skills

MCP servers are added to Claude Code at local scope; env vars are shown as YOUR_… placeholders — we never store values. Files are fetched with degit into a separate folder so you can review before merging.

$ npx degit lee-to/hlv/skills/hlv-artifacts .claude/skills/hlv-artifacts
$ npx degit lee-to/hlv/skills/hlv-generate .claude/skills/hlv-generate
$ npx degit lee-to/hlv/skills/hlv-implement .claude/skills/hlv-implement
$ npx degit lee-to/hlv/skills/hlv-questions .claude/skills/hlv-questions
$ npx degit lee-to/hlv/skills/hlv-validate .claude/skills/hlv-validate
$ npx degit lee-to/hlv/skills/hlv-verify .claude/skills/hlv-verify

This rig commits no guardrails. Here is the community baseline instead — the deny/ask rules most often found across all 6,974 rigs:

{
  "permissions": {
    "deny": [
      "Read(./.env)",
      "Read(**/.env)",
      "Read(~/.ssh/**)",
      "Bash(rm -rf *)",
      "Read(**/*.pem)",
      "Bash(rm -rf /)",
      "Bash(git push --force:*)",
      "Bash(sudo *)",
      "Read(~/.aws/**)",
      "Bash(rm -rf /*)",
      "Read(./.env.*)",
      "Read(.env)",
      "Bash(git push --force*)",
      "Bash(rm -rf:*)",
      "Read(**/.env.*)",
      "Read(**/*.key)",
      "Bash(sudo:*)",
      "Bash(git reset --hard*)",
      "Bash(git reset --hard:*)",
      "Read(.env.*)"
    ],
    "ask": [
      "Bash(git push:*)",
      "Bash(git push *)",
      "Bash(git commit:*)",
      "Bash(rm *)",
      "Bash(rm:*)",
      "Bash(npm publish:*)",
      "Bash(wget *)",
      "Bash(git rebase *)",
      "Bash(gh pr merge *)",
      "Bash(git commit *)"
    ]
  }
}

Skills (6)

Similar rigs

copied ✓