jev-second-perspective
Skill4 starsChanged 20 days agoMITView on GitHub
Use TypeSafe's Jev as a fast, typed second opinion inside a research or optimization lane. Rank candidate levers by composite score, or check a write-up's claims against a lab log. Pair it with TypeSafe's own typesafe-ai skill, which owns the API and its docs.
- Reads credentials
In this repository34 other files it gives its agents.
- AGENTS.mdAGENTS.md
- accepted-proof-exact-retuneSkill
- beachhead-ratchetSkill
- circuit-edit-integration-safetySkill
- computer-algebra-oraclesSkill
- constraint-construction-searchSkill
- cross-model-review-gateSkill
- deepseek-pressure-testSkill
- ecdsafail-fastevalSkill
- ecdsafail-lowq-playbookSkill
- ecdsafail-oracle-loopSkill
- ecdsafail-pareto-ratchetSkill
- ecdsafail-scratch-dietSkill
- elicit-researchSkill
- exact-search-engineeringSkill
- fast-lean-proof-loopSkill
- hard-problem-contractSkill
- invariant-chartSkill
- lean-arklib-proofsSkill
- lean-finite-certificate-splittingSkill
- mission-commandSkill
- nasqret-playbookSkill
- pip-disciplineSkill
- portable-source-assertionsSkill
- proximity-prize-campaignSkill
- proximity-prize-frontier-archaeologySkill
- research-loopSkill
- route-compare-probe-disciplineSkill
- rust-archive-build-bindingSkill
- send-to-claude-fableSkill
- shot-autopsySkill
- squares-in-squares-campaignSkill
- verify-paired-native-measurementsSkill
- verify-research-transferSkill
The file
We split this skill into the rules it gives an agent
1 rule. About 0 are common, 1 is distinctive, and 0 are very specific to this project.
≈0
Common · estimate
Many files like this have a rule of this kind.
≈1
Distinctive · estimate
This author's own choices. Worth a look.
0
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Distinctive: line 21
Treat it as a tie-breaker and a blind-spot detector: a candidate it rates plausible but unmeasured is the next thing to measure, cheaply.
≈ “Common” is an estimate: at least 1 in 5 of the 350,495 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
Jev as a second-perspective judge
Jev returns typed judgments (Choice, Score, Noul) with probabilities; it does not reason or generate text. Code owns retrieval, arithmetic and policy; Jev supplies one narrow judgment per question. Read the typesafe-ai skill and the live docs (https://docs.typesafe.ai/llms.txt) before changing request shapes.
Client
python3 scripts/jev.py REQUEST.json [OUT.json] (POST /v1/systemone, model defaults to jev-latest) and
python3 scripts/jev.py --models. The key comes from $TYPESAFE_API_KEY or ~/.config/typesafe/api-key (mode 600);
never put it in a request file, artifact, skill or command line. Billing is per input token; output is free.
Pattern 1: lever triage (composite scoring)
State = the task, the rules (gates, time guard, editable files, cost weights) and the candidates with their ledgers. Per candidate ask two independent Scores (feasibility under the rules; share of the required gap) and one Choice over all candidates for "the next hour of work". Multiply in code. Treat it as a tie-breaker and a blind-spot detector: a candidate it rates plausible but unmeasured is the next thing to measure, cheaply. Do not trust the rating itself.
Pattern 2: citation check of a public draft
Code splits the draft into claim blocks (those with job ids or large numbers), retrieves the log entries that share the most ids/numbers, and asks one Choice per (claim, entry): supports / contradicts / says_nothing. Only confidence >= 0.8 stands on its own; route every "contradicts" to a human check. In practice most contradictions came from retrieving a neighbouring job's entry; retrieve by the claim's own id first. It still caught an actual overclaim ("twelve records" when the board's twelve include another participant's starting record).
Limits
Jev judges only the state you give it; it cannot verify soundness, run code, or invent constructions. Never let a Jev answer authorize a submission, a post, or spend: those stay with the measured gates and the user.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

