João Gomes Marques

@jagmarques

Coimbra On GitHub since September 2017

View on GitHub

Published Tools

Total Stars

Weekly Downloads

GitHub Followers

Public Repos

Published Tools

1 MCP Server5 Skills2 Agentsacross 6 categories

jagmarques/asqav-mcp

jagmarques

[![asqav-mcp MCP server](https://glama.ai/mcp/servers/jagmarques/asqav-mcp/badges/score.svg)](https://glama.ai/mcp/servers/jagmarques/asqav-mcp) 🐍 🏠 🍎 🪟 🐧 - AI agent governance MCP server with policy enforcement, quantum-safe audit trails (ML-DSA), multi-party authorization, and compliance reporting. Check policies, sign actions, and verify signatures through MCP tools.

...more

MCP ServerSecurity

4 dirs

asqav-autogen

Asqav AutoGen InterventionHandler for AI agent governance and tamper-evident audit trails

Agentai-agents

1 dir

company-skill

jagmarques

Goal-driven multi-employee company for Claude Code. Give it a goal, it runs until done.

SkillLLM Tool

1 dir

@asqav/sdk

jagmarques

AI agent governance - audit trails, policy enforcement, ML-DSA cryptographic signatures

AgentAI Tool

1 dir

@asqav/pi

jagmarques

Asqav extension for the pi coding agent - sign and gate tool calls before they execute

SkillAI Tool

1 dir

@asqav/vercel-ai

jagmarques

Asqav guard for the Vercel AI SDK - sign and gate tool calls before they execute

SkillAI Framework

1 dir

asqav-kaibanjs

jagmarques

KaibanJS integration for Asqav - cryptographic audit trails for multi-agent task execution

SkillAgent Framework

1 dir

create-asondy

jagmarques

Multi-CLI installer for the asondy orchestrator skill: Claude Code, Qwen Code, opencode, Codex, Cursor, Cline.

SkillLLM Tool

1 dir