Overview
Tools for organising research and checking work done with AI.
Formal verification: what does this check actually prove?, video on YouTube, 5 minutes 12 seconds
I show what the proofs and saved checks cover in a map of 88 Python components.
What it is
These are selected Python components from my research system. You can run them locally, read their source and inspect their test results. Each component explains what it checks and what it does not establish: its scope limit.
What you can do here
- Run an example: run the source-form tour with Git and Python 3.11+.
- Find a tool: browse the components and their source files.
- Work with a coding agent: give it the repository and a bounded task.
The seven areas
The full tour explains the seven areas and the work they do. Use it to find what interests you before browsing all 88 components.