What services does MLabs offer?

According to its public information, MLabs offers: Development and Audit.

Which smart contract languages does MLabs use?

MLabs works with Plutus and Rust.

Where is MLabs based?

MLabs is headquartered in United Kingdom.

Is MLabs verified on smart-contract.com?

Not yet. This listing was compiled from public information and MLabs has not claimed it or gone through the vetting process of smart-contract.com.

How can I get a quote from MLabs?

Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.

Vendor

MLabs

London high-assurance engineering consultancy in Haskell and Rust, auditing Cardano contracts

Public information

About

MLabs is a high-assurance software engineering consultancy, MLabs LTD, based in London. It works mainly in Haskell and Rust, backed by a formal-methods practice, and organises its offer in four parts: advising founders on architecture and technical risk, building software (including AI-accelerated development held to the same review standard as hand-written code), proving correctness through test suite review, property-based testing, specification and formal proof, and running identity, secrets and certificate infrastructure. A large part of its work is in the Cardano ecosystem, where it maintains the open-source projects Plutarch, Lambda Buffers and CTL. It audits Cardano smart contracts written in Aiken, Plutarch or Plinth, covering validators, minting policies, staking scripts, off-chain transaction building and protocol design. Its audit runs in five phases: specification review and test coverage, manual code scrutiny, a draft report by severity, re-audit of fixes and a final report. Every reported vulnerability is demonstrated by a test that stays in the client's suite. It also offers a fixed-price health check and staff augmentation.

At a glance

London consultancy (MLabs LTD) working in Haskell and Rust
Maintains the open-source Cardano projects Plutarch, Lambda Buffers and CTL
Audits Cardano contracts written in Aiken, Plutarch or Plinth, on-chain and off-chain
Each reported vulnerability comes with a test added to the client's suite
Offers formal verification, property-based testing and specification work on any stack

Services: Development
Audit
Blockchains: Cardano
Languages: Plutus, Rust
Headquarters: United Kingdom
Website: mlabs.city(opens in a new tab)

MLabs: frequently asked questions

What services does MLabs offer?: According to its public information, MLabs offers: Development and Audit.
Which blockchains does MLabs work with?: MLabs works with Cardano.
Which smart contract languages does MLabs use?: MLabs works with Plutus and Rust.
Where is MLabs based?: MLabs is headquartered in United Kingdom.
Is MLabs verified on smart-contract.com?: Not yet. This listing was compiled from public information and MLabs has not claimed it or gone through the vetting process of smart-contract.com.
How can I get a quote from MLabs?: Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.

Where this information comes from

This listing was compiled from the public pages below and last reviewed on September 24, 2026. The company has not claimed it yet, is not a partner of smart-contract.com and has not been vetted.

Describe your project once. Compare with confidence.

Get comparable quotes from vetted developers, then secure your code with an independent auditor.

Get quotes

Free for clients. No commitment.