atp_mcp
MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theorem-prover backends from AtpClient over stdio JSON-RPC.
Maintained on Hex by jcschuster
Latest version
0.5.1
Last run
18 days ago
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | atp_mcp-0.5.1-1789892469507 |
|
nerves_system_mangopi_mq_pro
0.17.2
|
pass | 26048374 | atp_mcp-0.5.1-1789892469507 |
|
nerves_system_rpi4
2.1.2
|
pass | 42375818 | atp_mcp-0.5.1-1789892469507 |
|
nerves_system_x86_64
1.34.2
|
pass | 29763946 | atp_mcp-0.5.1-1789892469507 |
Add this badge to your README
It updates itself as atp_mcp's compatibility is reassessed.
Markdown
HTML