Who builds Provely?

Macleod Labs builds Provely. Provely.sh is the defensive coding layer for agents. Write to macleod@macleodlabs.ai for support, for privacy questions, and for legal questions.

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?

A completion contract is a postcondition: what must be true in the provider after the action, written down before the action runs. The layer checks it at run time, against the provider, not over your source. Provely reads no code. An agent performs the action, and a separate verifier decides whether reality satisfies the promise. 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. Read the frozen safety rules that follow from that.

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?

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