Install the Axiom Toolkit

Axiom's free toolkit makes it easy to turn your ideas into formal logical definitions, axioms, and theorems — just bring an AI agent. The logic scaffold and AI skills turn your AI into a Socratic partner, helping you refine your ideas and discover your values.

Paste one prompt and answer the install options. Your AI will do the rest.

Your agent installs Lean 4 and axm, initializes an Axiom workspace, materializes Axiom's AI skills, verifies the setup, then asks how you want to begin. Show manual steps.

Axiom Toolkit setup prompt

Set up the Axiom Toolkit.
Prerequisites:
1. Check if the following are installed: VS code, Lean, and the Lean VS code extension.
2. Determine which dir to recommend for the Axiom workspace. It should be called `axiom-workspace` and be in the cwd or user's Documents.
3. Prompt me with these install options, providing your recommendation for each.
  - If it is not, whether VS code and/or the Lean extension should be installed. It is helpful for viewing Axiom lean code.
  - What dir to use for the Axiom workspace.

Steps:
1. Install VS code and the Lean extension, if selected.
2. Install Lean v4.31.0. Instructions: https://lean-lang.org/install/.
3. Install axm:
  - mac/linux: curl -sfL https://install.axiom.computer | sh -
  - Windows PS: irm https://install.axiom.computer/install.ps1 | iex
4. Create an Axiom workspace with `axm init <dir>`
5. cd into the workspace dir.
6. Verify the local workspace with `lake build && axm check --basic` from inside the workspace.
  - If it fails, diagnose and fix the issues and get the workspace healthy.
7. Run `axm auth`.
  - If it fails, just remind the user that it's still pending before they can start formalizing their ideas.
7. Read `AGENTS.md` and all the `.axiom/skills/*/SKILL.md` files into context.
8. Install complete! Suggest some options for what to do with the new Axiom workspace.

After setup

Your toolkit for axiomatic reasoning is now ready! Your AI is equipped with the skills it needs to help you unlock next-level clarity of thought. Everything lives locally and stays that way, unless you choose to publish.

Explore a topic

Search Axiom and the web, then connect what you learn to your own concepts, values, and commitments.

Sharpen a belief

Start with a claim you hold and have the agent probe loaded terms, hidden premises, and surprising consequences.

Define a contested term

Work on concepts like freedom, intelligence, harm, value, or fairness by making their boundaries explicit.

Formalize an argument

Turn an argument into a theorem and see exactly where the proof holds, breaks, or needs a stronger assumption.

With an Axiom plan, you can publish your arguments, definitions, and commitments (axioms) to the Axiom platform. In this public arena, someone else's proof can connect your commitments to conclusions you never anticipated. The best ideas stand the test of time. Learn more.