MCP server for Picat (help the LLMs write and test Picat code)

[C. G.]

I vibe coded with GLM 5.2 an MCP server for Picat. This is a mean for LLMs to execute Picat code, which is very convenient to have in chat interfaces such as llama-ui (of llama.cpp), as it gives them the possibility to test the code they write, observe the syntax and logic errors, and iterate until the code is good.

The MCP server is available at https://github.com/picat-lang/lib_ext/tree/main/use_Picat_with_LLMs . In the same directory, you will find another file that can help a lot the LLMs write correct Picat code, the Picat user guide in a very much shortened edition, in machine readable form (plain text). Even when you don't use the MCP server for Picat, you might want to pass this compact Picat reference to the LLM (regardless if it's chatgpt, one of the Antropic models or a local LLM), such that it is totally certain on the syntax, semantic and list of packages, predicates, functions and operators of Picat.

best regards,

CG

[Neng-Fa Zhou]

Thank you, Cristian, for taking the initiative to tailor MCP to Picat. I'd be happy to contribute to the project. Let's discuss it at FLOC'26.

Cheers,

NF

--
You received this message because you are subscribed to the Google Groups "Picat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to picat-lang+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/picat-lang/8404c524-aca1-4946-83ee-3141e6589984n%40googlegroups.com.