Scale verification effort to risk tiers for system calls.
npx skills add https://github.com/AesopScott/mojo --skill tiered-verifier
Please help me install this Agent Skill. Skill: tiered-verifier Source: https://github.com/AesopScott/mojo/tree/main/harnesses/skills/tiered-verifier Command: npx skills add https://github.com/AesopScott/mojo --skill tiered-verifier
This Skill addresses the issue of over-verification in software harnesses, where low-risk operations consume excessive compute, tokens, or human review time by applying unnecessary scrutiny.
Use the tiered-verifier skill to analyze the current Verify harness and propose a cost-saving rule for low-risk route calls.
High-intent search queries and answers about installing and using this skill.
You can reduce verification costs by scaling verification effort to risk tiers, which prevents over-verification of low-risk system calls by reserving high-effort checks exclusively for high-risk operations.
Risk-tiered verification is a method that dynamically adjusts verification intensity based on request risk profiles, optimizing automated testing boundaries by skipping deep evidence analysis for safe internal API calls.
To implement targeted verification gates, analyze existing configuration, policy, and performance metrics to establish rules that apply strict scrutiny to external-facing transactions while bypassing low-risk routes.
Yes, you can apply risk-tiered scaling to skip deep evidence analysis for low-risk internal API calls while maintaining strict verification checks for external-facing transactions to optimize compute and token usage.
The best way to analyze a Verify harness for cost-saving rules is to evaluate existing performance metrics and policies to identify low-risk route calls where verification intensity can be safely scaled down.
You should not use risk-tiered scaling when all system calls carry equal critical risk or when your workflow lacks the configuration and performance metrics needed to accurately classify operation risk profiles.
AesopScottConfigure risk-tiered proof requirements and waiver shortcuts in the Proof Authority harness.
meshtasticMonitor GitHub Actions runs and cancel redundant CI executions.
erikhazzardAudit automated test suites for coverage gaps, oracle strength, and determinism.
aaronbassettAutomate code reviews with analysis, checklists, and reports for multi-language projects.
