Macleod Labs builds Provely. Write to macleod@macleodlabs.ai for support, for privacy questions, and for legal questions. One address reaches a person.

Macleod Labs is a software company. It builds tools that decide whether an automated action reached its promised outcome. The company website is https://macleodlabs.ai.

What position does the product take?

An agent performs the action. A separate verifier decides whether reality satisfies the promise. The two must stay apart. A verifier that also acts is no longer independent of the action that it checks.

  • A successful tool call is not a completed business outcome.
  • An agent assertion is evidence level E0. E0 is never sufficient on its own.
  • When the evidence is not sufficient, the answer is UNVERIFIABLE. The runtime does not guess.
  • A false VERIFIED is the most serious defect this product can have.

What does the product not do?

Provely does not read prompts. It does not judge the reason for an action. It does not classify a jailbreak. It compares what a person authorised with what the provider records, and the reason for a difference does not change the answer.

Provely is not an agent framework, a model gateway, or a general observability product. Each new feature must help decide whether an external action achieved its promised outcome.

How do I contact the company?

One address serves every subject.
SubjectAddress
Support and salesmacleod@macleodlabs.ai
Privacy and data requestsmacleod@macleodlabs.ai
Legal and termsmacleod@macleodlabs.ai
Security reportsmacleod@macleodlabs.ai

Report a security defect to the same address. Describe the class of the problem. Do not include a working exploit.