Basis
Basis is a nonprofit AI research lab building a universal reasoning engine through open science.
Basis is worth your attention if you fund or conduct open, foundational AI research — Pact and ExoPredicator are real, current, and unusual. It is not a vendor, so anyone shopping for deployable tooling will come away empty-handed. Judge it as a research bet, and the nonprofit structure is doing genuine work in the pitch, not just decoration.
Verified 7d ago · liveness 60/100 · cite: rightaichoice.com/tools/basis
- AI researchers working on multi-agent coordination or formal verification
- Academic institutions seeking an open-science research partner
- Philanthropies and nonprofits funding public-interest AI research
- Research fellows who want to join an engineering-heavy lab
- Developers who need a production API or SDK to call today
- Businesses shopping for a packaged AI product with support terms
- Consumers looking for a chatbot or an app
We scan live Reddit threads, YouTube comments, X posts, G2 reviews and other communities — and hand you an honest verdict in under a minute.
- Honest verdict, not marketing
- Real pros & cons from real users
- Attributed quotes with receipts
3 free scans · no card needed
Skip Basis if you are a developer or business looking for a production-ready AI product with API support—you will find nothing deployable here.
No direct costs, but funding research is donation-based—there's no guarantee of timelines or deliverables.
Basis operates on donations and grants, not a pricing model. If you're a philanthropist, it's cheaper than funding a commercial lab; if you're a business, there are no tiers to compare—it's not a product.
In short
Basis — Basis is a nonprofit AI research lab building a universal reasoning engine through open science. Best for AI researchers working on multi-agent coordination or formal verification, Academic institutions seeking an open-science research partner, Philanthropies and nonprofits funding public-interest AI research. Contact Sales pricing.
What's new in Basis
Checked 5 days agoAcross the latest 1 update: 1 news mention.
Viability Score
How well maintained and how widely used is Basis? Built from what the vendor actually publishes (docs, changelog, tutorials, integrations, pricing), whether the site is live, and how much real users discuss it. How we calculate this
Last calculated: September 2026
How we score →Key Features
- Pact: formal coordination language for multi-agentic ecosystems
- Pact unifies game theory, distributed systems, and cryptography for agent trust
- ExoPredicator: learned abstract world models for robot planning
- ExoPredicator abstracts time and state to plan in dynamic environments
- Challenge-driven research projects organized as modules
- AutumnBench benchmark with human baselines
- MARA protocol for testing causal reasoning
- Open publication of research findings
- Open-source code releases
- Fellowship program for researchers
- Partnership and collaboration programs
- Agent experiments in formal verification (agents built a JS-to-WASM compiler in Lean over 14 days)
- Mailing list and blog for research updates
- Donation-based support for nonprofit research
About Basis
Basis is a nonprofit AI research organization working on a universal reasoning engine, and it behaves like a lab rather than a vendor: it publishes research, releases open-source code, and works through partners and fellows instead of selling software. The people it fits are academics, research engineers, philanthropic funders, and labs that want foundational work done in the open. If you need a product with an API and a support contract, this is the wrong address. The current research program centers on three threads. Pact is a formal coordination language for multi-agentic ecosystems, unifying game theory, distributed systems, and cryptography so autonomous agents can be trusted to work together. ExoPredicator learns abstract world models so robots can plan in dynamic environments by abstracting time and state. Both were announced in April 2026, alongside a write-up of an agent experiment in which four agents built a JS-to-WASM compiler in Lean over 14 days — the compiled code ran, but the proofs never closed. Beyond the papers, Basis runs a challenge-driven project structure with modules, plus a fellowship program, partnerships, and donation-based support. The site invites contact directly rather than routing newcomers through a signup funnel. That shape tells you what kind of organization this is: outputs are papers, code, and collaborations, not seats and tiers. Positioning-wise, Basis competes with commercial labs for research talent, not with AI SaaS for budget. Against OpenAI or DeepMind, the differentiator is nonprofit ownership and open publication. Against a university lab, it's the engineering ambition — agent coordination and formal verification at a scale most academic groups can't staff.
Behind the Verdict
Most "AI research lab" pages are marketing sites with a paper attached. Basis reads differently: the work is named, dated, and specific. Pact landed in April 2026 as a coordination language spanning game theory, distributed systems, and cryptography; ExoPredicator landed the day before, aimed at robot planning through learned abstract world models. You can evaluate both on their merits. We'd reach for Basis when the goal is contributing to or funding foundational work in multi-agent coordination or formal methods, and when open publication matters more than a commercial moat. Fellows and academic partners get the most direct path in — the site lists fellowships, collaborations, and partnerships as first-class programs. Pass on it if you need an SDK, an uptime number, or a procurement-ready contract. There is no product here. That isn't a knock on the research; it's a mismatch of category. Builders who arrive expecting a reasoning engine to call will find papers instead. The honest caveat sits in Basis's own agent experiment. Four agents spent 14 days building a JS-to-WASM compiler in Lean and produced code that ran, but the proofs didn't close. That is a useful window into where formal verification of agent output actually is right now — encouraging output, unfinished guarantees. Anyone selling you certainty in this space should be read against that result. Against OpenAI or DeepMind, the difference isn't capability claims, it's ownership and incentives: a nonprofit can publish what a commercial lab shelves. Against a university group, Basis appears to carry more engineering weight behind its coordination and verification agenda. If you want to follow along, the mailing list and the blog are the low-commitment entry points. If you want a relationship, contact them
Researching Basis? Get your full AI stack in 60 seconds.
Free, no signup — tell us your goal and get tools matched to your budget & existing stack.
Real-world workflow fit
Concrete scenarios for the personas Basis actually fits — and what changes day-one when you adopt it.
Exploring formal multi-agent coordination
Outcome: Read Pact's paper, access open code, and collaborate on extending the language.
Testing world models for planning
Outcome: Use ExoPredicator's implementation to run experiments on dynamic environments, speeding up thesis research.
Funding open AI research
Outcome: Set up a donation, get regular updates on lab progress, and potentially sponsor a specific challenge project.
Use Cases
- Multi-agent coordination research using Pact
- Robot planning with abstract world models via ExoPredicator
- Benchmarking world model learning algorithms
- Studying program synthesis and formal verification
- AI safety research combining neuroAI and game theory
- Fellow collaborations on mission-driven projects
Models Under the Hood
as of 2026-09-21
Limitations
- Basis is a nonprofit research organization with no commercial products, APIs, or support.
- Outputs are research papers and code, not end-user applications.
as of 2026-08-31
Verification history
We have re-verified Basis 19 times since . Each pass re-reads the vendor's own pages and re-checks every listed field against that evidence; passes where nothing had changed are marked as such.
- — re-verified summary, description, our verdict, our analysis, pricing model, pricing tiers, features, integrations, who it suits, who should skip it
- — re-verified summary, description, our verdict, our analysis, pricing model, pricing tiers, features, integrations, who it suits, who should skip it
- — re-verified summary, description, our verdict, our analysis, pricing model, pricing tiers, features, integrations, who it suits, who should skip it
- — re-verified summary, description, our verdict, our analysis, pricing model, pricing tiers, features, integrations, who it suits, who should skip it
- — re-verified summary, description, our verdict, our analysis, pricing model, pricing tiers, features, integrations, who it suits, who should skip it
- — re-verified summary, description, our verdict, our analysis, pricing model, pricing tiers, features, integrations, who it suits, who should skip it
Showing the 6 most recent of 19 verification passes.
Free to cite with attribution — this page re-verifies continuously.
Where the pricing makes sense
The company stage and team size where Basis's pricing actually pencils out — and where peers do it cheaper.
Basis operates on donations and grants, not a pricing model. If you're a philanthropist, it's cheaper than funding a commercial lab; if you're a business, there are no tiers to compare—it's not a product.
Setup time & first value
How long it actually takes to get something useful out of Basis — broken out by persona, not the marketing-page minute.
For academics: start reading papers immediately; explore open code within a day. For philanthropists: consultation and donation setup within a week.
Resources & Guides
Tutorials & Learning
YouTube returned 6 videos for “Basis”, and we withheld 6: 6 could not be judged, because “Basis” is a single word that other videos use for other things. We are showing none, because we could not prove any of them are about Basis.
Official links
Tools that pair well with Basis
Common stack mates teams adopt alongside Basis, with the specific reason each pairing earns its keep.
PaperBrain
Turn open-access research papers into audio podcasts and ask them questions by chat.
Consensus
Consensus is an AI academic search engine that answers research questions with cited evidence from 220M+ peer-reviewed papers.
GPT Researcher
Open-source autonomous research agent that plans, reads sources in parallel, and writes cited reports you host yourself
Alternatives to Basis
View allPaperBrain
Turn open-access research papers into audio podcasts and ask them questions by chat.
Consensus
Consensus is an AI academic search engine that answers research questions with cited evidence from 220M+ peer-reviewed papers.
GPT Researcher
Open-source autonomous research agent that plans, reads sources in parallel, and writes cited reports you host yourself
Frequently Asked Questions
Categories
Best-of guides
Used Basis? Help shape our editorial sentiment research.