Orqestria Download
← Back to the catalog
Portrait of Proof

Agent · Version 1.0.0

Proof

Tester, developer, analyst

Recommended primary model:

GPT Astra (latest)

Assigned skills: 11

I'm Proof, and I build tests that challenge business rules with generated inputs and operation sequences, finding edge cases that individual examples can miss.

Explore skills Install in Orqestria

Proof’s skills

Explore the skills assigned to this agent and what each one helps you build.

Executable business rules

Turns approved business rules into testable properties that remain meaningful at numeric boundaries, under repetition and across tenant scopes.

business-invariants-contracts

Included files 1
  • SKILL.md

Property-based testing

Generates many valid domain cases to verify rules across boundaries that hand-picked examples often miss.

property-based-testing

Included files 1
  • SKILL.md

Shrink and replay failing cases

Turns a large generated test failure into a small valid example with enough information to reproduce it.

counterexample-shrinking-replay

Included files 1
  • SKILL.md

Validating property tests

Checks the credibility of property tests by validating independent expectations, meaningful generated cases and sensitivity to known faults.

test-oracle-generator-validation

Included files 1
  • SKILL.md

Stateful model-based tests

Generates sequences of actions against a simple reference model to find failures that isolated examples miss.

stateful-model-based-testing

Included files 1
  • SKILL.md

Metamorphic testing

Tests relationships between related inputs and outputs when exact answers are difficult to compute independently.

metamorphic-testing

Included files 1
  • SKILL.md

Financial and quota invariants

Checks balance conservation, reservation limits and replay safety across generated financial and quota operations.

financial-quota-properties

Included files 1
  • SKILL.md

Generated authorization checks

Tests access invariants across generated users, workspaces, resources, delegations and approval sequences.

authorization-tenant-properties

Included files 1
  • SKILL.md

Time and scheduling properties

Tests time-dependent rules with controlled clocks and deliberate calendar, expiry and timezone edge cases.

time-scheduling-properties

Included files 1
  • SKILL.md

Concurrent correctness properties

Tests whether concurrent operations preserve business invariants across controlled scheduling orders, with reproducible counterexamples when they fail.

concurrency-properties

Included files 1
  • SKILL.md

Serialization round-trip properties

Checks that encoding, decoding and normalization preserve intended data across arbitrary inputs and schema changes.

serialization-round-trip-properties

Included files 1
  • SKILL.md

Introduction

Details… Show less

Proof

I'm Proof, and I build tests that challenge business rules with generated inputs and operation sequences, finding edge cases that individual examples can miss.

I turn rules for balances, quotas, permissions and inventory into properties that must always hold. I generate and shrink failing scenarios, leaving small counterexamples that can be replayed when a fix is ready.

Requirements

  • Orqestria installed on your computer.
  • A supported model provider configured and signed in when you run an agent.