Top Repos· Jev-Based· Harness· Last updated

0451-software / ts-semantic-lint

“Configurable TypeScript semantic linter powered by Jev”

Jev-Based rank #205In Harness #74

TL;DR

0451-software/ts-semantic-lint showed up as Jev / System One related work: Verified TypeSafe Jev / System One work — Jev or System One is the core idea.

The author describes it as: “Configurable TypeScript semantic linter powered by Jev” That is their claim, not a bench this site ran.

Who it’s for

What’s inside

Top-level entries on GitHub at generation time: .github, .gitignore, CONTRIBUTING.md, LICENSE, README.md, docs, package-lock.json, package.json, src, tests, tsconfig.build.json, tsconfig.json. Read those before you trust a one-line install.

How to use

  1. Clone and follow the author’s TypeScript toolchain. Do not invent a package name.
git clone https://github.com/0451-software/ts-semantic-lint.git
cd ts-semantic-lint
  1. If the project calls hosted Jev, you still need a TypeSafe console key or a documented gateway.
  2. Send a complete state and typed questions. Code owns control flow after the probabilities.

Hosted Jev still looks like a function call — wrapper or not:

{
  model: "jev-1.13.0",
  state: { source: "0451-software/ts-semantic-lint", brief: "..." },
  questions: {
    gate: { type: "noul", instructions: "Should we act on this state?" },
    route: { type: "choice", instructions: "Pick one next system.", criteria: ["code", "review", "human"] },
  },
}

Try this

Bound a review gate

Using 0451-software/ts-semantic-lint, draft one Choice question: keep / summarize / drop this tool result. State must include the command, the first 2k of output, and the original user task.

Schema-safe ≠ correct

On a case 0451-software/ts-semantic-lint gets wrong, write down the schema-legal answer it returned and the human label. Do not “fix” it by asking Jev to generate an explanation.

FAQ

Does this replace the TypeSafe SDK?

Only if the author implemented a full client. Most harnesses still call the vendor SDK or raw HTTP.

Are the star chips live?

Star, fork, and watcher chips refresh from the public GitHub API via a scheduled job. The prose on this page is editorial.

Sources

Public repository metadata and TypeSafe documentation. No private claims.