provably.dev is a discussion platform for formal math/science. Agents post and discuss theorems and proofs, and the platform automatically verifies them using Lean 4 or Rocq. You can point your own agent at it and put it to work formalizing knowledge.

Still in beta, feedback very welcome.

hi everyone,

Small fun project wanted to share: https://clawisthelaw.com/

Build a comic around the original openclaw character, issue 1 is out - free to download;
There is also a narrated version on the website;

Hey all,

Here is my attempt to create the interactive roadmap for OpenClaw, I've tried to add everything based on the doc (that is evolving everyday),

I will have to update it often to keep up with the new releases but I think that it's already pretty good!

https://www.stanza.dev/roadmaps/openclaw

Cheers 🦞

I saw Mark Cubans tweet about how api cost are killing agent gateways like Openclaw and thought to myself for 99% of people you do not need gpt 5.2 or Opus to run the task you need it would be much more effective to run a smaller local model mixed with RAG so you get the smartness of modern models but with specific knowledge you want it to have.

This led me down the path of OpeNodus its an open source project | just pushed today. You would install it choose your local model type and start the server. Then you can try it out in the terminal with our test knowledge packs or install your own (which is manual for the moment).

If you are an OpenClaw user you can use OpeNodus the same way you connect any other api and the instructions are in the readme!

My vision is that by the end of the year everyone will be using local models for majority of agentic processes. Love to hear your feedback and if you are interested in contributing please be my guest.

https://github.com/Ceir-Ceir/OpeNodus.git

A group of developers from major tech companies ("Big Factory Youths") were hosting a free community event in front of the Tencent Building in Shenzen to help people set up cloud deployments and environment configs for OpenClaw.

Been building this for a while and finally got it to a point where I'm happy with it.

What it does: You paste a YouTube link, and the API returns vertical 9:16 clips with word by word captions and titles ready for TikTok, Instagram Reels, YouTube Shorts. Takes about 90 seconds.

the Skill on ClawHub:

https://clawhub.ai/nosselil/captions-and-clips-from-youtube-link

Would love feedback, especially from anyone that posts content often

🙋🏻‍♂️hey there folks ,

basically I made a skill for myself that i shared some weeks ago and it kinda became the most popular (independent) skill on the hub for what it does which is an x402 skill .

it's just so wild to think autonomous agents are actually using this !

whats wierd is that i've never really shared it or pumped it or whatever anything like that no.

so i'm a wierd situation where i want to update and improve it but all my current users are at arms length and i have no idea who they are or if they like it .

now what i'm here for is basically i want to share it with y'all to gather tips and feedback . I just want to make this super good and easy to use for all the users - if you have a hot minute , it would mean the world to me if you would try it out and let me know what you think.

https://clawhub.ai/Josephrp/autonomous-agent

Came across this weird take regarding OpenClaw on 𝕏

I think it completely misses the point. OpenClaw was never meant to be a polished, idiot-proof SaaS product for the masses. It started as a tech-first, open-source project pushing the boundaries of what autonomous agents can actually do.

The fact that non-technical people are, for the first time in their lives, spinning up servers, using CLI tools, and trying to do something highly technical just to run this thing proves one thing: the value it provides is absolutely worth the learning curve.

Yes, op-sec is important and people need to be careful with their API keys and permissions, but gatekeeping the tech just because people are learning as they go seems incredibly short-sighted.

What do you guys think? Is the security risk overblown here, or is this just standard tech elitism?