Pypra
VS Code extension for inspecting Postgres-backed package sync data, editing JWTs, and exploring package archives.
Install
Install from the Marketplace, or build locally:
npm install
npm run package
code --install-extension pypra-1.0.0.vsix
First-time setup
After installing, run Pypra: Set Config Path from the Command Palette and pick a file or directory where Pypra should keep its config (for example ~/pypra/config.json). Then run Pypra: Create Config to write a starter file you can edit. The extension never ships with default credentials, table names, S3 buckets, or sample data - everything is read from the path you choose.
DB passwords and the JWT signing secret are stored in VS Code's encrypted SecretStorage, not in the JSON file. Anything you paste into the password field of the config editor is moved to SecretStorage on save and stripped from the file.
Config schema
The Pypra config file is JSON with this shape (all fields optional, all values are yours to set):
{
"activeConnectionId": "local",
"connections": [
{ "id": "local", "host": "localhost", "port": 5432, "user": "you", "dbName": "your_db" }
],
"packagePaths": [],
"packageBasePath": "",
"s3BaseUrl": "",
"mappingConfig": {
"app_to_cloud": { "tableName": "<your_sync_table>", "errorTableName": "<your_error_log_table>" },
"cloud_to_app": { "tableName": "<your_sync_table>", "errorTableName": "<your_error_log_table>" }
}
}
password is not stored here - VS Code prompts for it when needed and persists it via SecretStorage.
Commands
| Command |
Description |
Pypra: Set Config Path |
Pick the file/directory that holds your Pypra config |
Pypra: Create Config |
Write a starter config at the configured path |
Pypra: Open Config |
Open the visual config editor |
Pypra: Switch DB Connection |
Switch the active connection (status-bar item) |
Pypra: Check Package |
Look up a package by ID and view its content |
Pypra: Create Package ID List |
Bulk-fetch packages from a list of IDs |
Pypra: Open JWT editor |
Decode / sign JWTs with your stored secret |
Pypra: Open with Pypra DB |
Open a .pypradb file as an interactive query editor |
File types
.pypradb - A SQL query file scoped to a database folder. Open one and the result renders next to the query. Backwards-compatible with the legacy .miradb extension..l2c.pkg / .c2l.pkg - Cached package metadata + tables in JSON..l2c.list / .c2l.list - A list of package IDs for bulk fetch.
Settings
| Setting |
Description |
pypra.configPath |
Absolute path to the Pypra config file or directory. |
pypra.packagePaths |
Fallback package paths when the config is not present. |
pypra.s3BaseUrl |
Fallback S3 base URL when the config is not present. |
License
MIT - see LICENSE.
