Commit 4547d05
Merge origin/main into fix/glama-license-tables-proof (resolve conflicts)
- README.md: kept the pre-existing MPL-2.0 header + the branch title; dropped
main's standardization-sweep duplicate (a second // CC-BY-SA-4.0 header that
collided with the file's existing MPL-2.0 header and the PR's MPL-2.0 intent).
- site/index.md: honoured main's deletion (#233 replaced it with the new
site/index.html website). Branch's only change there was a cartridge-count
bump, carried as a flag (see PR comment) rather than into the deleted file.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>693 files changed
Lines changed: 4769 additions & 2660 deletions
File tree
- .claude
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- anchor
- agent_instructions
- ai
- configs
- contractiles
- scripts
- forge
- lifecycle
- verification
- servers
- svc/self-validating
- examples
- .well-known
- LICENSES
- audits
- cartridges
- 007-mcp
- docs
- academic-workflow-mcp
- aerie-mcp
- abi
- adapter
- ffi
- affinescript-mcp
- abi
- adapter
- ffi
- agent-mcp
- abi
- adapter
- ffi
- airtable-mcp
- abi
- adapter
- ffi
- arango-mcp
- abi
- adapter
- ffi
- aws-mcp
- abi
- adapter
- ffi
- bofig-mcp
- browser-mcp
- abi
- adapter
- ffi
- bsp-mcp
- abi
- adapter
- ffi
- buildkite-mcp
- abi
- adapter
- ffi
- burble-admin-mcp
- abi
- adapter
- ffi
- circleci-mcp
- abi
- adapter
- ffi
- civic-connect-mcp
- abi
- adapter
- ffi
- claude-agents-power-mcp
- abi
- adapter
- ffi
- claude-ai-mcp
- ffi
- clickhouse-mcp
- abi
- adapter
- ffi
- cloud-mcp
- abi
- adapter
- ffi
- cloudflare-mcp
- abi
- ffi
- coderag-mcp
- abi
- adapter
- ffi
- codeseeker-mcp
- abi
- adapter
- ffi
- comms-mcp
- abi
- adapter
- ffi
- conflow-mcp
- abi
- adapter
- ffi
- container-mcp
- abi
- adapter
- ffi
- crates-mcp
- abi
- adapter
- ffi
- dap-mcp
- abi
- adapter
- ffi
- database-mcp
- abi
- adapter
- ffi
- digitalocean-mcp
- abi
- adapter
- ffi
- discord-mcp
- abi
- adapter
- ffi
- dns-shield-mcp
- abi
- adapter
- ffi
- docker-hub-mcp
- abi
- adapter
- ffi
- duckdb-mcp
- abi
- adapter
- ffi
- echidna-llm-mcp
- ephapax-mcp
- feedback-mcp
- abi
- adapter
- ffi
- fireflag-mcp
- fleet-mcp
- abi
- adapter
- ffi
- fly-mcp
- abi
- adapter
- ffi
- game-admin-mcp
- abi
- adapter
- ffi
- gcp-mcp
- abi
- adapter
- ffi
- git-mcp
- abi
- adapter
- ffi
- github-actions-mcp
- abi
- adapter
- ffi
- github-api-mcp
- abi
- adapter
- ffi
- gitlab-api-mcp
- abi
- adapter
- ffi
- google-docs-mcp
- abi
- adapter
- ffi
- google-sheets-mcp
- abi
- adapter
- ffi
- gossamer-mcp
- abi
- adapter
- ffi
- grafana-mcp
- abi
- adapter
- ffi
- hackage-mcp
- abi
- adapter
- ffi
- hesiod-mcp
- hetzner-mcp
- abi
- adapter
- ffi
- hex-mcp
- abi
- adapter
- ffi
- hypatia-mcp
- abi
- adapter
- ffi
- iac-mcp
- abi
- adapter
- ffi
- idaptik-admin-mcp
- abi
- adapter
- ffi
- jira-mcp
- abi
- adapter
- ffi
- k8s-mcp
- abi
- adapter
- ffi
- k9iser-mcp
- abi
- adapter
- ffi
- kategoria-mcp
- abi
- adapter
- ffi
- laminar-mcp
- abi
- adapter
- ffi
- lang-mcp
- adapter
- ffi
- linear-mcp
- abi
- adapter
- ffi
- linode-mcp
- abi
- adapter
- ffi
- local-coord-mcp
- abi
- LocalCoord
- adapter
- docs
- ffi
- local-memory-mcp
- abi
- adapter
- ffi
- lsp-mcp
- abi
- adapter
- ffi
- matrix-mcp
- abi
- adapter
- ffi
- ml-mcp
- abi
- adapter
- ffi
- model-router-mcp
- abi
- ffi
- mongodb-mcp
- abi
- adapter
- ffi
- neo4j-mcp
- abi
- adapter
- ffi
- neon-mcp
- abi
- adapter
- ffi
- nesy-mcp
- abi
- adapter
- ffi
- notifyhub-mcp
- abi
- adapter
- ffi
- notion-mcp
- abi
- adapter
- ffi
- npm-registry-mcp
- abi
- adapter
- ffi
- observe-mcp
- abi
- adapter
- ffi
- obsidian-mcp
- abi
- adapter
- ffi
- opam-mcp
- abi
- adapter
- ffi
- opendata-mcp
- abi
- adapter
- ffi
- opsm-mcp
- abi
- adapter
- ffi
- orchestrator-lsp-mcp
- origene-mcp
- abi
- adapter
- ffi
- panic-attack-mcp
- abi
- adapter
- ffi
- pmpl-mcp
- abi
- adapter
- ffi
- postgresql-mcp
- abi
- adapter
- ffi
- prometheus-mcp
- abi
- adapter
- ffi
- proof-mcp
- abi
- adapter
- ffi
- pypi-mcp
- abi
- adapter
- ffi
- queues-mcp
- abi
- adapter
- ffi
- railway-mcp
- abi
- adapter
- ffi
- redis-mcp
- abi
- adapter
- ffi
- render-mcp
- abi
- adapter
- ffi
- reposystem-mcp
- abi
- adapter
- ffi
- research-mcp
- abi
- adapter
- ffi
- rokur-mcp
- abi
- adapter
- ffi
- sanctify-mcp
- search-mcp
- secrets-mcp
- abi
- adapter
- ffi
- sentry-mcp
- abi
- adapter
- ffi
- slack-mcp
- abi
- adapter
- ffi
- ssg-mcp
- abi
- adapter
- ffi
- stapeln-mcp
- abi
- adapter
- ffi
- supabase-mcp
- abi
- adapter
- ffi
- telegram-mcp
- abi
- adapter
- ffi
- todoist-mcp
- abi
- adapter
- ffi
- toolchain-mcp
- ffi
- turso-mcp
- abi
- adapter
- ffi
- typed-wasm-mcp
- abi
- adapter
- ffi
- ums-mcp
- abi
- adapter
- ffi
- vault-mcp
- abi
- adapter
- ffi
- verisimdb-mcp
- abi
- adapter
- ffi
- vext-mcp
- abi
- adapter
- ffi
- vordr-mcp
- abi
- adapter
- ffi
- zotero-mcp
- abi
- adapter
- ffi
- container
- fly
- coord-tui
- docs
- accessibility
- architecture
- backend-assurance
- compliance
- decisions
- developer
- glama
- governance
- handover
- integration
- maintenance
- outreach
- papers
- planning
- practice
- quickstarts
- specification
- cartridge-tools
- cartridges
- status
- website
- wikis
- elixir
- ffi/zig
- src
- panll
- schemas
- scripts
- cloudflare
- setup-scripts
- site
- .well-known
- assets
- specs/elixir-harness
- src/abi
- Boj
- templates/cartridge-template
- abi
- adapter
- ffi
- tests/backend-assurance
- tools
- cartridge-configurator
- cartridge-provisioner
- panel-harness
- site-catalog
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- tests
- traceability
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments