monty-compat 0.4.0

AST-based Python compatibility checker for the Monty interpreter

monty-compat

AST-based Python compatibility checker for the Monty sandbox.

Parses the Monty Rust source to extract every implemented builtin function, type constructor, exception type, and stdlib module, then checks arbitrary Python code for unsupported features — without executing it.

Installation

pip install monty-compat

Or for development (from checkout):

pip install -e .

Quick start

from monty_compat import monty_compat

# One-shot check — loads capabilities from cache (or builds on first run)
# By default uses the latest *released* version of Monty (only_released=True)
ok, reasons = monty_compat("x = [i * 2 for i in range(10)]")
# ok=True, reasons=[]

ok, reasons = monty_compat("import json; json.loads('{}')")
# ok=False, reasons=["module 'json' is not supported by Monty"]

# Include unreleased changes from the main branch
ok, reasons = monty_compat(code, only_released=False)

# Force rebuild (ignores cache)
ok, reasons = monty_compat(code, cache='regenerate')

# Skip cache entirely, read from local monty checkout
ok, reasons = monty_compat(code, cache='off', monty_root='/path/to/monty')

Cache

Capabilities are cached at ~/.monty_compat/monty_{key}_compat.json.

• Default TTL: 12 hours
• Cache key is latest-release when only_released=True (default), or main when only_released=False
• Passing an explicit monty_root falls back to the installed pydantic-monty version as the key
• cache='regenerate' forces a rebuild and overwrites the cache
• cache='off' skips all cache I/O

Lower-level API

from monty_compat import MontyCapabilities

# Build from the latest release tag on GitHub (default)
caps = MontyCapabilities.from_github()

# Build from the main branch (includes unreleased changes)
caps = MontyCapabilities.from_github(only_released=False)

# Build from a local monty repo checkout
caps = MontyCapabilities.from_local('/path/to/monty')

# Inspect capabilities
caps.builtin_functions    # frozenset: abs, all, any, bin, chr, …
caps.type_constructors    # frozenset: int, str, list, dict, …
caps.exception_types      # frozenset: ValueError, TypeError, …
caps.modules              # frozenset: sys, typing, asyncio, pathlib, os, re, …
caps.module_attributes    # dict:      {'asyncio': {'gather', 'run'}, …}

# Check code
ok, reasons = caps.check_code(some_code)

# Pretty-print
print(caps.summary())

What is checked

Pattern	Example	Check
import X	import json	Is json a supported module?
from X import Y	from asyncio import subprocess	Is Y in X's known attributes?
Builtin calls	eval(...)	Is the builtin implemented in Monty?

Supported modules (as of 2026-03)

Module	Available attributes
re	search, match, sub, findall, …
asyncio	gather, run
os	getenv, environ
pathlib	Path
sys	platform, version, version_info, stdout, stderr
typing	Any, Optional, Union, List, Dict, Callable, …