Loading
Unclaimed profileBuilt from public GitHub and Hugging Face activity. João has not joined Lounge yet.Claim it
Not on Lounge yet
João Gomes Marques
developerBuilding Asqav - cryptographically signed, independently verifiable receipts for AI agent actions. IETF draft author. Post-quantum (ML-DSA /
Public projects
asqav-sdk
Python and TypeScript SDKs for verifiable evidence of AI agent actions. Signed receipts, policy enforcement, audit trails. Works with LangChain, CrewAI, MCP.
Pythonai-agent-governanceai-agentsai-compliance
asqav-compliance
CI/CD compliance scanner for AI agents. EU AI Act, DORA, ISO 42001. GitHub Action for automated compliance checks on every PR.
TypeScriptai-agent-governanceai-complianceai-governance
asqav-claude-code
Signed Asqav receipts for Claude Code sessions. Tamper evident evidence of what your coding agent did.
Pythonai-agentsai-governanceaudit-trail
asqav-pi
Asqav extension for the pi coding agent. Block out of mandate tool calls at sign time and keep a verifiable record.
TypeScriptai-agentsai-governanceasqav
n8n-nodes-asqav
n8n community node for Asqav. Sign agent actions in workflows and keep a verifiable receipt.
TypeScriptai-agentsai-governanceaudit-trail
asqav-vercel-ai
Asqav guard for the Vercel AI SDK. Block out of mandate agent tool calls at sign time and keep a verifiable record.
TypeScriptai-agentsai-governanceaudit-trail
Likely stack
ClaudeOpenAILangChainMCP
Is this you?
Claim it to take control of what it shows, get your handle, and import 6 projects with points.
Claim this profileNot you, or want it removed?Where this came from
GitHub · @jagmarques
