Arg2P runs on your own machine — the client starts it, so there is no endpoint to ping. 2 647 installs a week from pypi. Last commit 8 Nov 2026.
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
We read the source, 8 h ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
child = subprocess.Popen(command)
if os.path.isfile(os.path.join(directory, "bin", executable)):
% The graph changed by the steps the flags select (see active/1), in the order of steps/1 whatever the order the
% flags state them in: first those adding the arguments derived from the others, each with their attacks (the
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add arg2p -- uvx arg2p
{
"mcpServers": {
"arg2p": {
"command": "uvx",
"args": [
"arg2p"
]
}
}
}
[mcp_servers.arg2p]
command = "uvx"
args = ["arg2p"]
{
"mcpServers": {
"arg2p": {
"command": "uvx",
"args": [
"arg2p"
]
}
}
}
{
"servers": {
"arg2p": {
"type": "stdio",
"command": "uvx",
"args": [
"arg2p"
]
}
}
}
Google Scholar search results, citation counts and citation export formats, as structured JSON.
Structured execution trace and span logging for AI agents
Web scraping, search, crawling, structured extraction and research for AI agents.
Run physics simulations and read their results, from the Arxyne free CLI.
Extract structured data from invoices, receipts and other documents with ParserBee.
Search government tenders and public procurement opportunities with structured results.
Read PDFs, photos and emails into structured fields; check, correct and approve the results.
Extract structured data points from research papers and other documents with an LLM.
Answers built from our own checks of this server.