Edgar Costa edgarcosta

Magma Calculator Service Implementation Plan

For Claude: REQUIRED SUB-SKILL: Use superpowers:executing-plans to implement this plan task-by-task.

Goal: Build a containerized REST API that executes Magma code in an nsjail sandbox and returns parsed results as JSON.

Architecture: Single FastAPI app behind uvicorn with TLS. Each request spawns nsjail -> magma -w -n as a subprocess. In-memory IP rate limiting. CORS for browser access from GitHub Pages frontend.

Tech Stack: Python 3.11, FastAPI, uvicorn, pydantic-settings, pytest, httpx (test client), Docker, nsjail

MAGMA Repository Structure for Git

Overview

Flatten the SVN-era Prog/ wrapper, convert SVN directory copies to proper Git refs, and reorganize for clarity.

Current → New Mapping

Current Path	New Path	Notes

	#!/bin/bash
	# clone-proper.sh - Clone MAGMA SVN with proper tags/branches as git refs
	#
	# This creates a git-svn clone where:
	# - / (root) is the trunk, excluding Tags/Export/Branches
	# - Main branch contains: Prog/, Doc/, Web/
	# - Tags/* become refs/remotes/svn/tags/*
	# - Branches/* become refs/remotes/svn/branches/*
	# - Export/* become refs/remotes/svn/export/*
	#

	<SPConfig xmlns="urn:mace:shibboleth:3.0:native:sp:config"
	xmlns:conf="urn:mace:shibboleth:3.0:native:sp:config"
	clockSkew="180">

	<OutOfProcess tranLogFormat="%u\|%s\|%IDP\|%i\|%ac\|%t\|%attr\|%n\|%b\|%E\|%S\|%SS\|%L\|%UA\|%a" />

	<!--
	By default, in-memory StorageService, ReplayCache, ArtifactMap, and SessionCache
	are used. See example-shibboleth2.xml for samples of explicitly configuring them.
	-->

	<SPConfig xmlns="urn:mace:shibboleth:3.0:native:sp:config"
	xmlns:conf="urn:mace:shibboleth:3.0:native:sp:config"
	clockSkew="180">

	<OutOfProcess tranLogFormat="%u\|%s\|%IDP\|%i\|%ac\|%t\|%attr\|%n\|%b\|%E\|%S\|%SS\|%L\|%UA\|%a" />

	<!--
	By default, in-memory StorageService, ReplayCache, ArtifactMap, and SessionCache
	are used. See example-shibboleth2.xml for samples of explicitly configuring them.
	-->

	12:[9,82,95]:10000:235
	7:[93,-68,-44]:10000:231
	11:[113,82,13]:10000:223
	12:[24,3,64]:10000:219
	11:[112,3,61]:10000:219
	3:[18,27,-14]:10000:218
	3:[18,-27,14]:10000:218
	2:[18,41,14]:10000:218
	2:[18,-41,-14]:10000:218
	1:[72,36,-7]:10000:218

	.
	├── Branches
	│ ├── allan
	│ │ └── DB
	│ ├── damien_eval
	│ │ └── src
	│ ├── eran-modfrmalg
	│ │ ├── Doc
	│ │ ├── package
	│ │ └── test

	.
	├── __pycache__
	│ └── magma_style_fixer.cpython-313.pyc
	├── bug.m
	├── build_magma.sh
	├── defaultdict.m
	├── defaultdict_package.m
	├── Doc
	│ ├── Info
	│ │ ├── info_alg_geo_crv.txt