Skip to content
@agenticsnz

Agentics NZ

Agentics NZ is a local chapter of the Agentics Foundation, a not-for-profit organization dedicated to making AI innovation and education open to everyone.

Agentics NZ

The GitHub home of Agentics NZ, the local chapter of the Agentics Foundation - a not-for-profit making AI innovation and education open to everyone.

This is where our community works on things together in the open: prototypes from AI Hackerspace events, shared tools, experiments, and whatever else we feel like building.

Get involved

  • showcase - Projects built by the community using agentic AI. Open a PR to add yours.
  • ideas - Got a project idea, want collaborators, or looking for something to work on? Raise an issue.

What else is going on?

All levels welcome, from first-time dabblers to seasoned swarm-coders. Kia ora and happy hacking.

Pinned Loading

  1. unsorry unsorry Public

    Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.

    Lean 39 12

Repositories

Showing 8 of 8 repositories

Top languages

Loading…

Most used topics

Loading…