Cordis is the plugin framework behind DeepSeek Harness: what revertible effects and reactive coeffects mean, and why it matters for self-improving agents.
Blog
Learn about agent practices, tutorials, and updates.
Leanstral is Mistral’s new open-source Lean 4 code agent built for proof engineering and formal verification. Here is what it does, how it works, and where it fits.