Pilot gives agents an address on its network — so it acts as a parallel Internet, in a sense — and while residing at that address, other agents can discover each other, alongside other tools and apps for agents.
Like ollama, based on llama. Cop but better.
Open design is Open Source AI design Tool Aider is Open Source AI coding tool
Specification-driven development in AI
This describes how to download models from Hugging Face. It has to be done through command line and one has to have a login, which I do.
Whisper is set of speech recognition models that include Czech. It seems to be a sort of standard. Try it on photo keyboard.
OpenCode Is open source AI coding assistant.
Lean is a language that supports theorem prooving. It has, among other features, dependend data types - types that allow to check state transition
