pyrunir-mcp

MCP server exposing pyrunir tools for planning-and-learning agents.

Roles

Set PYRUNIR_MCP_ROLE before launching the server. The server and invoke CLI fail closed when the role is missing, so restricted agents must be launched with an explicit role:

  • kr/ps/base: sketch-policy proof, execution, and formatting tools.
  • kr/ps/ext: module-program proof, structural termination, execution, and formatting tools.
  • kr/uns: unsolvability classifier proof and formatting tools.
  • all: every pyrunir MCP tool; use only for trusted, unrestricted local maintenance.

The server rejects missing or unknown roles at startup.

Output format

Every artifact is rendered to .psv, .md, and .json by default. Set PYRUNIR_MCP_OUTPUT_FORMAT to write a single format instead, so a consumer reads exactly one file per artifact (no adjacent duplicate renderings):

  • psv / md / json: write only that format.
  • all (or unset): write every format (the default).

(The execute manifest.json and the per-failure failures/<id>/meta.json — machine-readable run/failure metadata — are always written regardless of this setting.)

Tool Documentation

Per-tool calling arguments and normalized output structures are documented in docs/index.md. The individual tool pages cover:

  • runir.ps.base.create_empty_policy, runir.ps.base.reformat_policy, runir.ps.base.execute_policy, and runir.ps.base.prove_policy
  • runir.ps.ext.create_empty_module_program, runir.ps.ext.reformat_module_program, runir.ps.ext.reformat_module, runir.ps.ext.execute_module_program, runir.ps.ext.prove_module_program, and runir.ps.ext.prove_termination
  • runir.uns.create_empty_classifier, runir.uns.reformat_classifier, and runir.uns.prove_classifier

Start with the index for shared result conventions, especially the distinction between counterexample witness files and path trace files.

Output Contract

Proof and execution tools write a local, grouped tree under the requested output_dir: run-global alias dictionaries under dicts/, and everything for one failure local to failures/<id>/ (its meta.json, witness, and — when available — trace and successors). If that directory already contains output, the tool allocates a numbered child directory such as run-002 instead of overwriting. The selected output directory contains a .pyrunir-mcp-output reservation marker. Results include primary orchestration fields, a structured summary, and items with absolute paths to each failure's witness file and, when available, its trace. See docs/index.md for the exact shared layout (including meta.json) and the per-tool pages for argument tables.

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (0.0.33)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for DominikDrexler from gravatar.com DominikDrexler

Credits

Author: Dominik Drexler

Requires

Python >=3.13

Provides Extra

dev

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyrunir_mcp-0.0.19.tar.gz (140.3 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

pyrunir_mcp-0.0.19-py3-none-any.whl (81.1 kB view details)

Uploaded Python 3

File details

Details for the file pyrunir_mcp-0.0.19.tar.gz.

File metadata

  • Download URL: pyrunir_mcp-0.0.19.tar.gz
  • Upload date:
  • Size: 140.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for pyrunir_mcp-0.0.19.tar.gz
Algorithm Hash digest
SHA256 2af1ac90bcd609a48eeeda5350f1426f44b46c65fb6d79184abbb8354c695be4
MD5 c1b1483eda6c3309e4af40d9eb37d168
BLAKE2b-256 767ee9db0f7d8f3988c5ef202a08247df3102232ec67d61c9cc49d7a19839a49

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrunir_mcp-0.0.19.tar.gz:

Publisher: release.yml on planning-and-learning/runir-mcp

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrunir_mcp-0.0.19-py3-none-any.whl.

File metadata

  • Download URL: pyrunir_mcp-0.0.19-py3-none-any.whl
  • Upload date:
  • Size: 81.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for pyrunir_mcp-0.0.19-py3-none-any.whl
Algorithm Hash digest
SHA256 7401583635e21c4f35f26e31445db7d3424f430f9863d3a34e5275c8c2daaee0
MD5 6fbddf8848d895f75d59d9efc69f3fe3
BLAKE2b-256 8200af910d2bd79dd999c91fba2bda96c6fc372d8527eaeb2b43757ebd10acf2

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrunir_mcp-0.0.19-py3-none-any.whl:

Publisher: release.yml on planning-and-learning/runir-mcp

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page