Attestable Research

Software that shows its work.

We build tools that produce evidence, not assurances โ€” a claim you can check is worth more than a claim you have to believe. Everything we ship is expected to say what it did, when, and under which conditions it might be wrong. In plain terms: our software keeps receipts โ€” signed records of what actually ran, that anyone can check.

signed provenance stated limitations no tracking abstains rather than guesses
Hiring for an audit or review? Start here See the products

โ–ธ Products

๐Ÿ‘€
Live ยท Attested 2026-08-09

DoubleCheck โ€” Telegram scam screener

Forward a message that doesn't sit right and get a calm, reasoned reading โ€” just in case. Deployed for your community or used through our hosted bot. Its proof of concept was executed on the running system and signed โ€” you can verify the signature yourself.

โ–ธ Services

๐Ÿ”
Fixed price ยท evidence-first

Hire us โ€” audits, reviews, agent architecture

The discipline behind the products is for hire: MCP security audits for AI agents, structural code review against a 22-category taxonomy, and system prompts designed as load-bearing architecture. In plain language: we check what your AI assistant can actually reach and how it can be tricked, we read code closely enough to name exactly what is wrong with it, and we write the rules that keep an agent honest. Fixed scope and price agreed before work starts, findings traced to evidence, and what we did not check listed next to what we did.

โ–ธ Learn

๐Ÿ”ฌ
Free ยท Open source (MIT)

The science fair moved to lab.attestable.ca

Gentle, hands-on exhibits showing what AI and the mathematics behind it really are โ€” the true mechanisms, not the hype. Free to use, no accounts, no tracking, and MIT-licensed, so the copy you take stays yours whatever we do next. Every old link still works; they now point at the lab.

Why these are on one site

The lab is not marketing for the products, and the products are not a paywall on the lab. The lab exhibits are published under the MIT licence โ€” that grant does not get taken back, and a copy you have is a copy you keep. The products are how the lights stay on, and some of what is free today will not be free later: the arcade is heading for paid tiers priced on storage and hosting used. We would rather write that down now than let “free forever” quietly expire.

What they share is a standard: show the mechanism, state the limits, and let someone else check. A product that cannot say what it did is a product we would not sell. See what that looks like in practice โ†’