Top Repos· Jev-Based· Harness· Last updated

BrunooMoniz / polymarket-btc-5m-agent

“Agente de trading para o mercado BTC Up/Down de 5 minutos da Polymarket: modelo em código, Jev (TypeSafe System One) como portão, ordens maker, calibração e shadows em paper”

Jev-Based rank #164In Harness #59

TL;DR

BrunooMoniz/polymarket-btc-5m-agent 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: “Agente de trading para o mercado BTC Up/Down de 5 minutos da Polymarket: modelo em código, Jev (TypeSafe System One) como portão, ordens maker, calibração e shadows em paper” 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: .env.example, .gitignore, LICENSE, README.md, report_5m.py, requirements.txt, service_runner.py, src, tests. Read those before you trust a one-line install.

How to use

  1. Clone and follow the author’s Python toolchain. Do not invent a package name.
git clone https://github.com/BrunooMoniz/polymarket-btc-5m-agent.git
cd polymarket-btc-5m-agent
  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: "BrunooMoniz/polymarket-btc-5m-agent", 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

Judgment, not the ledger

Using BrunooMoniz/polymarket-btc-5m-agent, have Jev Noul “is this fill evidence of a gap?” and Choice a regime label. Keep PnL and position limits in deterministic code.

Schema-safe ≠ correct

On a case BrunooMoniz/polymarket-btc-5m-agent 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.