Example of a simple parser pushdown automaton implementation
Example of a simple parser pushdown automaton implementation
Rust source parser for ratchet: extracts PDA seeds and instruction bindings from Anchor programs
Anchor IDL adapter for ratchet
CLI for the ratchet upgrade-safety checker
Core IR and rule engine for ratchet, an upgrade-safety checker for Solana programs
Lockfile format for ratchet upgrade-safety checks
Quasar adapter for ratchet: run the rule engine as a compile-time pass inside the Quasar compiler
Squads V4 proposal decoder for ratchet: summarises what a pending multisig upgrade would do
Runtime-replay verification for ratchet: samples live program accounts and checks them against the new IDL
PDA-based TECTA PEG parser
Rust client SDK for DPO2U on-chain compliance programs on Solana — PDA derivers, IDL constants, CPI helpers for compliance-registry, consent-manager (DPDP India), art-vault (MiCAR EU), aiverify-attestation (Singapore). v0.2 adds optional MCPClient for full audit/docs toolkit via REST.