About @uriva
uriva is the GitHub profile of a developer creating open-source AI agent tools. Notable pinned projects include safescript, a safe DAG-based programming language for AI agents with formal permission and taint-tracking, and agentdocs, an end-to-end encrypted document platform designed for AI agents. Other projects include alice-and-bot and anomalisa. The tools focus on agent safety, encryption, and automation.
Key Features
safescript: Safe, DAG-based programming language with formal permission and taint-tracking for AI agents
agentdocs: E2E encrypted document platform designed for AI agents (Google Docs for agents)
alice-and-bot: JavaScript project for AI agent interactions
anomalisa: TypeScript project for anomaly detection or agent behavior
Open-source and free to use
Pros & Cons
Pros
- Open-source with free access to all code
- Focuses on safety and security for AI agents
- Includes innovative DAG-based programming paradigm
- Supports encrypted document exchange for agent ecosystems
Cons
- Limited documentation and community support
- Projects appear to be in early stages
- Small number of available tools and fewer integrations
Best For
Building safe, permission-aware AI agent workflowsSecure document sharing and collaboration between AI agentsAutomating agent tasks with formal verification of permissionsDeveloping agent-based systems with encrypted data handling
FAQ
What is safescript?
safescript is a safe, DAG-based programming language for AI agents that includes formal permission and taint-tracking to ensure secure execution.
What is agentdocs?
agentdocs is an end-to-end encrypted document platform for AI agents, similar to Google Docs but designed for agent-to-agent collaboration.
Are these tools free?
Yes, all projects under the uriva profile are open-source and free to use.