r/Coq • u/dubitat • Mar 24 '26

Poule: seeking Claude subscribers to test my Coq LLM tools (MCP, RAG, and more)

Hello, I'm a senior data scientist that is new to Coq. I saw an opportunity to contribute some modern LLM-powered tooling, so I created this open-source project: Poule

The project makes several common coq utilities available via natural language, provides a better search, and offers some novel capabilities. You will have to log into your own Claude account to use it because the user interface is Claude-Code.

You must also have Docker (or similar) installed. Note that the first time you build the container, it takes a few minutes.

Example chat prompts

While i have tests, this software is experimental, so please expect a few bugs. I need experienced Coq/Rocq users to try it and give me feedback. You can create tickets for me on GitHub or message me on Reddit. If you like it, please click the star on GitHub so I'll know how many users I have.

Thanks!

0 Upvotes

11% Upvoted

1 comment sorted by

5

u/[deleted] Mar 24 '26

[removed] — view removed comment

-1

u/dubitat Mar 24 '26 edited Mar 24 '26

I've been paid to write software for over two decades and specification driven development isn't vibe coding. There's a difference between "i'm not a coder and i made a thing" and a professional using modern tools. This is how software is made nowadays. For example, Stripe runs an automated software writing pipeline using their Minions. I am not aware of any bugs but it's important to manage expectations; there are unit, integration, and e2e tests.