Skip to content

jirayusueb/egm-stack

v0.23.0Apache-2.0

Spec-first engineering for coding agents: draft with context, review without it, then build with evidence.

scripts

  • statechart
  • scripts/backends/cfg.ts
  • scripts/backends/mermaid.ts
  • scripts/backends/plain-text.ts
  • scripts/backends/report.ts
  • scripts/frontends/config.ts
  • scripts/frontends/dot.ts
  • scripts/frontends/marks.ts
  • scripts/frontends/messages.ts
  • scripts/frontends/spec.ts
  • 40 more
    • scripts/frontends/trace.ts
    • scripts/frontends/value.ts
    • scripts/frontends/verdict.ts
    • scripts/frontends/view.ts
    • scripts/ir.ts
    • scripts/passes/annotate.ts
    • scripts/passes/label.ts
    • scripts/passes/lift.ts
    • scripts/passes/loop-check.ts
    • scripts/passes/paths.ts
    • scripts/passes/reach.ts
    • scripts/passes/region-check.ts
    • scripts/passes/regions.ts
    • scripts/pipeline.ts
    • scripts/run.mjs
    • scripts/run.ts
    • scripts/statechart.ts
    • scripts/test/chart.test.ts
    • scripts/test/cli.test.ts
    • scripts/test/config-fuzz.test.ts
    • scripts/test/corpus.test.ts
    • scripts/test/corpus/CounterView/view.mjs
    • scripts/test/corpus/Login/view.mjs
    • scripts/test/corpus/LoginGuarded/view.mjs
    • scripts/test/corpus/LoginParallel/view.mjs
    • scripts/test/corpus/MediaPlayer/view.mjs
    • scripts/test/corpus/MediaPlayerFixed/view.mjs
    • scripts/test/corpus/MediaPlayerProps/view.mjs
    • scripts/test/corpus/TwoPhase/view.mjs
    • scripts/test/corpus/TwoPhaseFixed/view.mjs
    • scripts/test/differential.test.ts
    • scripts/test/java.ts
    • scripts/test/labels.ts
    • scripts/test/messages.test.ts
    • scripts/test/pipeline.test.ts
    • scripts/test/plain-tlc.test.ts
    • scripts/test/render.test.ts
    • scripts/test/tlc-out.test.ts
    • scripts/test/tlc.ts
    • scripts/worker.ts
plugin.json
name
egm-stack
version
0.23.0
description
Spec-first engineering for coding agents: draft with context, review without it, then build with evidence.
author
EGM Stack contributors
license
Apache-2.0
extensions
com.openai

What else this package ships

These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.

  • 39TypeScript files
  • 10JavaScript files
  • 34configuration files
  • 3JSON files
  • 290other files
View on GitHub

Client extensions

Data this package carries for particular clients. The directory lists the clients named and never reads what is addressed to them.

  • com.openai