把智能体当函数，把想法写成程序。Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.