Software Engineer & Builder

Francesco Giannicola

Building AI systems, developer tools, native apps, compilers & research · Founder of Limes Labs · CS & AI @ UniCal

Location: Cosenza, Italy
🎂Age: 20years
🎓Status: BSc Computer Science & AI · Sep 2024 → Exp 2027
💼Open to: Internships & collaborations
✉️Email
🐙GitHub: @metaforismo
📄CV: cv.pdf

About

I like taking difficult ideas and turning them into working systems. Most of what I know comes from reverse-engineering papers, reading runtimes until they make sense, and shipping until the claim can be checked.

The work sits where research, systems, and product meet: agent reliability and evaluation, native control surfaces, compilers with proof obligations, and public research artifacts with evidence attached.

I tend to learn by shipping. The interesting part usually starts after the first demo works — traces, tests, verifiers, and the parts that have to survive contact with a real interface.

Outside of code: Christopher Nolan (especially Interstellar), space exploration, football, and the timeless story of DragonBall. Different inputs, same loop. Patterns and structure everywhere.

Selected work

Also public: Benchforge, Hephaestus, Cumea, serve-droid, Scriba, VO Agent, limen, Learning Signal Density, and older experiments on GitHub.

Project details

IntentForm

Local-first design environment · 2026 · TypeScript, React, Expo, SwiftUI, MCP

Humans and coding agents edit the same validated Semantic Interface Graph, then compile it deterministically to React, Web, Expo, and SwiftUI, with evidence bound to the current fingerprint.

Product + developer tooling + agents + compiler-like systems. Generated files are artifacts, not the source of truth.

Bite

Native iOS health product · 2026 · Swift, SwiftUI, HealthKit, Cloudflare

SwiftUI health coach with HealthKit, typed-tool AI workflows, long-term memory, lab-report handling, widgets, Live Activities, and a Cloudflare Worker backend.

GitHub

Jurevo

AI legal workspace · 2026 · Product, TypeScript, SaaS

AI legal workspace for Italian legal professionals: public site, authenticated app, document workflows, and billing. The product repository is private; public evidence is the live site and the OSS workspace.

TracePilot

Reliability studio for computer-use agents · 2026 · TypeScript, Playwright, Evals, Agents

Open-source product and eval harness for browser and desktop agents: traces, replay, verifiers, recovery policies, cost/readiness evidence, and provider adapters.

GitHub

OpenClaw

Upstream open-source contributor · 2026 · Open Source, TypeScript, Swift, Agents

Contributor to the OpenClaw upstream codebase across agent runtime, Gateway, automation, native iOS, and messaging/provider integrations, with 18 merged PRs as of August 2026.

External engineering signal: reproducing issues, implementing fixes, building focused regression coverage, producing runtime evidence, and working through upstream review. 23 PRs opened / 18 merged upstream — not a claim of sole authorship on every line.

Contributions

AgentKeys

Native iPhone control surface · 2026 · Swift, SwiftUI, Agents, iOS

Open-source tactile iOS console for coding agents: structured lifecycle events, real approval states, sessions, and provider-aware capabilities. The phone is a semantic remote control, not a remote shell.

GitHub

Atlas Loop

iOS Simulator evidence loop · 2026 · TypeScript, iOS, Observability

Local-first runtime evidence and testing tooling for agents and developers operating real iOS Simulator interfaces: screenshots, traces, metrics, and inspectable handoff artifacts.

GitHub

Sigil

Experimental systems language · 2026 · C++, SMT, Z3, CMake

Compiler with first-class proof obligations, SMT-LIB verification, Z3, memory/ownership models, and a conditional GCC JIT native-lowering path. Research scaffold, not a production verifier.

GitHub

The Broadcast Ceiling

Paper · RL credit assignment · 2026 · Paper, RL, Python, Zenodo

Limes Labs paper on information and reliability limits of advantage estimators in long-horizon RL, released with source, PDF, GitHub archive, and Zenodo DOI.

DOI 10.5281/zenodo.20970205

Limes Axis

Sovereign AI control plane · 2026 · Python, Governance, AI operations

Open-source control plane for European operations: typed workflows, permissions, audit trails, model egress boundaries, approvals, and governed agent actions.

GitHub

Elliptic Rank ≥ 30

Certificate-first math research · 2026 · Python, SageMath, Magma, Math

Constructive pipeline toward rank E(Q) ≥ 30. Independently reproduces the public rank-29 baseline with exact, SageMath, and Magma evidence. No rank-30 certificate claimed.

GitHub

TarsGPT

Physical AI runtime · 2025 · Python, Robotics, Open source

Self-contained TARS-inspired robot runtime with voice, movement, dashboard, long-term memory, vision, skills, and bilingual build documentation.

Skills

Languages: TypeScript
JavaScript
Swift
Python
Rust
C++
Interfaces: React
Next.js
SwiftUI
Expo
Electron
Infrastructure: Node.js
Cloudflare
SQLite
PostgreSQL
Docker
GitHub Actions
Git
Systems: Tool-using agents
LLM evals
Tracing
Playwright
Z3 / SMT
CMake
Evidence tooling

GitHub

Live · @metaforismo

Last 12 months of commits. Pick a palette below.

cached · 24hView profile

Experience & Education

Founder
Limes Labs
Building an open European AI research and engineering initiative across governed agent systems, model routing, evaluation infrastructure, reproducible research, and open-source AI tooling.
Organization
Jun 2026 · Present
Open Source Contributor
OpenClaw
23 upstream pull requests opened, 18 merged as of August 2026, across agent runtime, Gateway reliability and performance, automation, native iOS, and messaging/provider integrations including Mattermost, Feishu, and QQBot. Work typically goes from reproduction through implementation, focused regression tests, runtime evidence, review feedback, and upstream validation.
Pull requests
Jul 2026 · Present
BSc Computer Science & Artificial Intelligence
Università della Calabria
Active member of the teaching quality committee, advocating for student interests and academic improvements.
Sep 2024 · Expected 2027
📣
Social Media Manager
Personal Brand
Built a personal media presence from zero around tech, design and storytelling.
- 18K+ Instagram
- 50K+ TikTok
- 4M+ views · 2.5M+ likes
- 5+ brand partnerships
Mar 2020 · Present
Hackathon · AI for Anti-Counterfeiting
Codemotion × Poligrafico Italiano
Delivered an MVP virtual assistant addressing global counterfeiting via AI-driven data tracing for the Made in Italy supply chain.
May · Jun 2024
Volunteer · ENSA & ASS.A.P.L.I.
Italy
Civil protection, road safety education, and community initiatives. Organised 'Babbo Natale in Corsia', featured on LaC News 24.
2016 · Present

Certifications

Boolean Coding Week · Arcade Collection · BooleanOct 2024
OII · Italian Olympiad in Informatics · MIURApr 2024
Epicode Tech Camp · 9th Edition · EpicodeMay 2024
AICA ICDL Full Standard · AICASep 2022

Writing & research

2 pieces

Research outputs

2026-06Zenodo · Limes Labs
The Broadcast Ceiling
Mechanism audits for long-horizon RL credit assignment. Canonical PDF, source experiments, and SHA-256 paper manifest.
DOI Repo v0.1.0

Jun 8, 2026Thread
Personal Finance for Beginners: How to Build a Better Future with Your Money
Before you invest, the most important thing isn't finding the perfect product — it's understanding yourself.

Get in touch

🤝

Interested in working together? Drop me a line, I read everything.

🧠About

Selected work

IntentForm

Bite

Jurevo

TracePilot

OpenClaw

AgentKeys

Atlas Loop

Sigil

The Broadcast Ceiling

Limes Axis

Elliptic Rank ≥ 30

TarsGPT

⚒️Skills

📊GitHub

🧭Experience & Education

Founder

Open Source Contributor

BSc Computer Science & Artificial Intelligence

Social Media Manager

Hackathon · AI for Anti-Counterfeiting

Volunteer · ENSA & ASS.A.P.L.I.

🏅Certifications

✍️Writing & research

📜Research outputs

The Broadcast Ceiling

Personal Finance for Beginners: How to Build a Better Future with Your Money

✉️Get in touch

🔗Links

About

Skills

GitHub

Experience & Education

Certifications

Writing & research

Research outputs

Get in touch

Links