pyrunir-mcp

pyrunir-mcp is a typed Python API for planning-and-learning agents. Callers keep domains, tasks, candidates, validation results, and history in memory; filesystem artifacts are written only at the dump boundary.

See docs/api.md for the API and docs/index.md for workflow/output tables.

Basic Flow

from pyrunir_mcp import (
    ValidationHistory,
    create_domain_context,
    create_policy,
    create_task_context,
    dump_result,
    find_solution,
    generate_tasks,
)

domain = create_domain_context("domain.pddl")
task = create_task_context(domain, "problem.pddl")
policy = create_policy(domain, "policy.txt")
history = ValidationHistory()

result = find_solution(task, policy)
feedback = history.fold(result.observation)
dump_result(result, "artifacts/find-solution")

Entry Points

Context/candidates:

  • create_domain_context(domain_file)
  • create_task_context(domain_context, problem_file, num_threads=1)
  • create_policy(domain_context, policy_file); pass None for an empty policy
  • write_empty_policy(domain_context, policy_file) for canonical empty policy text
  • create_module_program(domain_context, module_program_file); pass None for the built-in empty module program
  • create_classifier(domain_context, classifier_file); pass None for an empty classifier

runir.task_generation:

  • describe_generator(domain_name)
  • get_generator_path(domain_name) / get_generator_domain_path(domain_name)
  • generate_tasks(domain_name, output_dir, batch_name, configs, allow_invalid=False)

Validation:

  • find_solution(task_context, policy_or_module_program, classifier=None, universal=False, ...)
  • prove_termination(domain_context, policy_or_module_program, ...)
  • prove_classifier(task_context, classifier, ...)

Dumping:

  • dump_result(result, output_dir, formats=(DumpFormat.JSON,), include_witness=True, include_witness_trace=True, include_plan_trace=True, include_successors=True)
  • dump_validation_history(history, output_dir, formats=(DumpFormat.JSON,))

DumpFormat.PSV, DumpFormat.MD, and DumpFormat.JSON request LLM-readable PSV, human-readable Markdown, and machine-readable JSON. Validation calls do not write files.

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.28.tar.gz (90.0 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.28-py3-none-any.whl (67.8 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: pyrunir_mcp-0.0.28.tar.gz
  • Upload date:
  • Size: 90.0 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.28.tar.gz
Algorithm Hash digest
SHA256 72ff5d9afa0c169c2e30922702c3a309a3e66046033b42de08917aaa40023c20
MD5 586c5c32e9eec7bbe68fb04ef73efd92
BLAKE2b-256 b442ca5bc8b4c6b5becd2fddbd70a87356a2cb084a23f6c0f9253c9e991776dd

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrunir_mcp-0.0.28.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.28-py3-none-any.whl.

File metadata

  • Download URL: pyrunir_mcp-0.0.28-py3-none-any.whl
  • Upload date:
  • Size: 67.8 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.28-py3-none-any.whl
Algorithm Hash digest
SHA256 5baef488e467a69c79ed9d83ec47016885e6dea6fd836597f199301b0d9b672a
MD5 47c3d6fcda55aee8a3ca3ce13dd9251c
BLAKE2b-256 0cacb30a9f9cbe3a4398356bbfecf437c31db8224ce70a1944a56f7696e51532

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrunir_mcp-0.0.28-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