grease

Name: grease
Author: GaloisInc

GREASE is a Haskell library and command-line tool for under-constrained symbolic execution of binaries.

by GaloisInc(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Imported from GaloisInc/grease (AGENTS.md). Install upstream with npx skills add GaloisInc/grease. Copyright stays with the author.

AGENTS.md

GREASE is a Haskell library and command-line tool for under-constrained symbolic execution of binaries.

Haskell

Format, build, and lint after every change.

Format: make -j8 -f scripts/lint/Makefile fmt
Build: cabal build pkg:grease-exe
Lint: make -j8 -f scripts/lint/Makefile hs
Test: cd grease-exe && cabal run test:grease-tests

Error handling

Read error handling documentation at doc/dev/errors.md.

Writing tests

See doc/dev/tests.md.

`.cbl` files

Read docs at doc/sexp.md and doc/sexp-progs.md.

`shape.txt` files

Read docs at doc/shape-dsl.md.

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

yaml

targets:
  - https://api.opensmartroute.ai/api/v1/registry/galoisinc-grease-grease/manifest   # or paste the manifest below

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

galoisinc-grease-grease.ocm.jsonjson

{
  "ocm": "1",
  "id": "galoisinc-grease-grease",
  "kind": "skill",
  "name": "grease",
  "description": "GREASE is a Haskell library and command-line tool for under-constrained symbolic execution of binaries.",
  "publisher": "GaloisInc",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "skill-md",
      "github-agents"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "GREASE is a Haskell library and command-line tool for under-constrained symbolic execution of binaries."
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "github-agents",
      "repository": "https://github.com/GaloisInc/grease",
      "path": "AGENTS.md",
      "ref": "5bfc4791df879c4ef6f48f61633bebf85c1eae8c",
      "url": "https://github.com/GaloisInc/grease/blob/5bfc4791df879c4ef6f48f61633bebf85c1eae8c/AGENTS.md",
      "key": "GaloisInc/grease/AGENTS.md"
    }
  },
  "instructions": "# AGENTS.md\n\nGREASE is a Haskell library and command-line tool for under-constrained symbolic\nexecution of binaries.\n\n## Haskell\n\nFormat, build, and lint after every change.\n\n- Format: `make -j8 -f scripts/lint/Makefile fmt`\n- Build: `cabal build pkg:grease-exe`\n- Lint: `make -j8 -f scripts/lint/Makefile hs`\n- Test: `cd grease-exe && cabal run test:grease-tests`\n\n### Error handling\n\nRead error handling documentation at `doc/dev/errors.md`.\n\n### Writing tests\n\nSee `doc/dev/tests.md`.\n\n## `.cbl` files\n\nRead docs at `doc/sexp.md` and `doc/sexp-progs.md`.\n\n## `*shape*.txt` files\n\nRead docs at `doc",
  "cost": {
    "context_tokens": 153
  }
}

Fetch it by URL: GET /api/v1/registry/galoisinc-grease-grease/manifest?version=1.0.0