# Manifield: a home for your theory

Manifield is a free, open-source (GPLv3) macOS app for mathematical research with AI. Turn your notes into a library of definitions, lemmas and theorems, see what depends on what, and work with an assistant that reads your own definitions.

- Download: https://github.com/stanislaw13/Manifield/releases/download/v0.1.3/Manifield-0.1.3.dmg (version 0.1.3, macOS 15 or later, Apple silicon or Intel)
- Source: https://github.com/stanislaw13/Manifield
- Example project: https://github.com/stanislaw13/Manifield/tree/main/examples/baire-category

## Start from what you already have

Drop in a `.tex` file or a PDF of your work so far. Manifield splits it into separate items, one for each definition, lemma, theorem and conjecture, grouped by the sections of your notes, and reads the proofs to see what each one uses. You review every item before anything is saved. Splitting notes into items uses an AI model, and its links are worth checking. The example project (notes on Baire category and the three big theorems of functional analysis) has 27 items and 48 links.

## Pick a theorem, see what it needed

Every result knows what it rests on. In the example, the closed graph theorem rests on 16 earlier results, and its longest chain of dependencies is 7 steps.

## A library you'd want to read

Results are typeset, grouped by section and searchable. Each project keeps a notation file and a file of LaTeX macros; macros in an imported `.tex` file are picked up automatically, and the assistant writes your notation too.

## One folder of plain files

A project is a folder on your Mac: one Markdown file with YAML frontmatter per result, plus notation, macros and a research memory. Open it in any editor, keep it in git, or point Claude Code or Codex at it. Format: https://manifield.net/format.md

## Your references

Import the books and papers you use as sources. The assistant searches them and cites their own statements, as `source-slug:item-id`. Results cited without proof get the status *Cited literature*. Full texts are read only with your permission. Details: https://manifield.net/sources.md

## An assistant that has read your work

The assistant (Prismo) reads your items before it answers and cites them by id; every mention opens the item beside the conversation. By default, every change it makes comes to you as a proposal you accept or reject. It runs small Python computations in a sandbox and keeps the code next to the result. Details: https://manifield.net/assistant.md

## Know which parts are solid

Every result has a status: conjecture, tested, proof drafted, review found no errors, human approved, formally verified (and cited literature). An agent can go no further than "review found no errors"; the rest are set only by you. There is no proof-assistant integration yet. Downgrading a result offers to reset everything that depends on it and claims review or approval back to "proof drafted".

## Experimental: research mode

Research mode freezes a problem's statement, then a director hands separate approaches to separate agents, and claimed solutions need independent checks. It can use a lot of tokens. Details: https://manifield.net/research.md

## Try it

No account and no server. If you use AI, requests go straight to the provider you choose (Anthropic, OpenAI, Google Gemini, xAI, Z.ai or NVIDIA with your own key, or a ChatGPT account through Codex). Setup: https://manifield.net/setup.md

Guides: [Studying advanced mathematics with AI](https://manifield.net/studying-mathematics/) and [the closed graph theorem worked example](https://manifield.net/baire-example/).

Made by one person, early. Feedback and contributions: https://github.com/stanislaw13/Manifield/issues